* [gentoo-commits] gentoo-x86 commit in sci-mathematics/nusmv: nusmv-2.3.1.ebuild metadata.xml ChangeLog nusmv-2.5.2.ebuild nusmv-2.5.0.ebuild
@ 2012-04-25 17:08 Justin Lecher (jlec)
0 siblings, 0 replies; only message in thread
From: Justin Lecher (jlec) @ 2012-04-25 17:08 UTC (permalink / raw
To: gentoo-commits
jlec 12/04/25 17:08:40
Modified: nusmv-2.3.1.ebuild metadata.xml ChangeLog
nusmv-2.5.2.ebuild nusmv-2.5.0.ebuild
Log:
sci-mathematics/nusmv: Drop unnessecary die
(Portage version: 2.2.0_alpha101/cvs/Linux x86_64)
Revision Changes Path
1.8 sci-mathematics/nusmv/nusmv-2.3.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/nusmv-2.3.1.ebuild?rev=1.8&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/nusmv-2.3.1.ebuild?rev=1.8&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/nusmv-2.3.1.ebuild?r1=1.7&r2=1.8
Index: nusmv-2.3.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.3.1.ebuild,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -r1.7 -r1.8
--- nusmv-2.3.1.ebuild 5 Oct 2011 18:44:32 -0000 1.7
+++ nusmv-2.3.1.ebuild 25 Apr 2012 17:08:40 -0000 1.8
@@ -1,6 +1,6 @@
-# Copyright 1999-2011 Gentoo Foundation
+# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.3.1.ebuild,v 1.7 2011/10/05 18:44:32 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.3.1.ebuild,v 1.8 2012/04/25 17:08:40 jlec Exp $
inherit eutils toolchain-funcs
@@ -83,7 +83,7 @@
econf `use_enable minisat` \
--enable-sa \
--enable-sa-cpp \
- --enable-psl || die "econf failed"
+ --enable-psl
emake || die "emake failed"
VARTEXFONTS="${T}"/fonts emake docs
1.4 sci-mathematics/nusmv/metadata.xml
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/metadata.xml?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/metadata.xml?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/metadata.xml?r1=1.3&r2=1.4
Index: metadata.xml
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/metadata.xml,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- metadata.xml 6 Aug 2008 20:39:23 -0000 1.3
+++ metadata.xml 25 Apr 2012 17:08:40 -0000 1.4
@@ -1,11 +1,11 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
-<herd>sci-mathematics</herd>
-<maintainer>
- <email>robbat2@gentoo.org</email>
-</maintainer>
-<use>
- <flag name='minisat'>Enable support for MiniSat</flag>
-</use>
+ <herd>sci-mathematics</herd>
+ <maintainer>
+ <email>robbat2@gentoo.org</email>
+ </maintainer>
+ <use>
+ <flag name="minisat">Enable support for MiniSat</flag>
+ </use>
</pkgmetadata>
1.13 sci-mathematics/nusmv/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/ChangeLog?rev=1.13&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/ChangeLog?rev=1.13&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/ChangeLog?r1=1.12&r2=1.13
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -r1.12 -r1.13
--- ChangeLog 5 Oct 2011 18:44:32 -0000 1.12
+++ ChangeLog 25 Apr 2012 17:08:40 -0000 1.13
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/nusmv
-# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.12 2011/10/05 18:44:32 aballier Exp $
+# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.13 2012/04/25 17:08:40 jlec Exp $
+
+ 25 Apr 2012; Justin Lecher <jlec@gentoo.org> nusmv-2.3.1.ebuild,
+ nusmv-2.5.0.ebuild, nusmv-2.5.2.ebuild, metadata.xml:
+ Drop unnessecary die
05 Oct 2011; Alexis Ballier <aballier@gentoo.org> nusmv-2.3.1.ebuild,
nusmv-2.5.0.ebuild, nusmv-2.5.2.ebuild:
1.3 sci-mathematics/nusmv/nusmv-2.5.2.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.2.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.2.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.2.ebuild?r1=1.2&r2=1.3
Index: nusmv-2.5.2.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.2.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- nusmv-2.5.2.ebuild 5 Oct 2011 18:44:32 -0000 1.2
+++ nusmv-2.5.2.ebuild 25 Apr 2012 17:08:40 -0000 1.3
@@ -1,6 +1,6 @@
-# Copyright 1999-2011 Gentoo Foundation
+# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.2.ebuild,v 1.2 2011/10/05 18:44:32 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.2.ebuild,v 1.3 2012/04/25 17:08:40 jlec Exp $
inherit eutils flag-o-matic toolchain-funcs
@@ -94,7 +94,7 @@
fi
cd ${NUSMV_S}
- econf ${myconf} || die "econf failed"
+ econf ${myconf}
emake || die "emake failed"
VARTEXFONTS="${T}"/fonts emake docs
1.4 sci-mathematics/nusmv/nusmv-2.5.0.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.0.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.0.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.0.ebuild?r1=1.3&r2=1.4
Index: nusmv-2.5.0.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.0.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- nusmv-2.5.0.ebuild 5 Oct 2011 18:44:32 -0000 1.3
+++ nusmv-2.5.0.ebuild 25 Apr 2012 17:08:40 -0000 1.4
@@ -1,6 +1,6 @@
-# Copyright 1999-2011 Gentoo Foundation
+# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.0.ebuild,v 1.3 2011/10/05 18:44:32 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.0.ebuild,v 1.4 2012/04/25 17:08:40 jlec Exp $
inherit eutils toolchain-funcs
@@ -95,7 +95,7 @@
fi
cd ${NUSMV_S}
- econf ${myconf} || die "econf failed"
+ econf ${myconf}
emake || die "emake failed"
VARTEXFONTS="${T}"/fonts emake docs
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-04-25 17:09 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-04-25 17:08 [gentoo-commits] gentoo-x86 commit in sci-mathematics/nusmv: nusmv-2.3.1.ebuild metadata.xml ChangeLog nusmv-2.5.2.ebuild nusmv-2.5.0.ebuild Justin Lecher (jlec)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox