summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustin Lecher <jlec@gentoo.org>2012-04-25 17:08:40 +0000
committerJustin Lecher <jlec@gentoo.org>2012-04-25 17:08:40 +0000
commit4802af5648717c12b6c8b509c797af08b850c03a (patch)
tree1b4dd1bc04e16fb94d364af76111548de486733d /sci-mathematics
parentsci-mathematics/yacas: -v (diff)
downloadgentoo-2-4802af5648717c12b6c8b509c797af08b850c03a.tar.gz
gentoo-2-4802af5648717c12b6c8b509c797af08b850c03a.tar.bz2
gentoo-2-4802af5648717c12b6c8b509c797af08b850c03a.zip
sci-mathematics/nusmv: Drop unnessecary die
(Portage version: 2.2.0_alpha101/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/nusmv/ChangeLog8
-rw-r--r--sci-mathematics/nusmv/metadata.xml14
-rw-r--r--sci-mathematics/nusmv/nusmv-2.3.1.ebuild6
-rw-r--r--sci-mathematics/nusmv/nusmv-2.5.0.ebuild6
-rw-r--r--sci-mathematics/nusmv/nusmv-2.5.2.ebuild6
5 files changed, 22 insertions, 18 deletions
diff --git a/sci-mathematics/nusmv/ChangeLog b/sci-mathematics/nusmv/ChangeLog
index 5347c4e2c6f5..91587ab07024 100644
--- a/sci-mathematics/nusmv/ChangeLog
+++ b/sci-mathematics/nusmv/ChangeLog
@@ -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:
diff --git a/sci-mathematics/nusmv/metadata.xml b/sci-mathematics/nusmv/metadata.xml
index 698ee79746d0..da589122a2f5 100644
--- a/sci-mathematics/nusmv/metadata.xml
+++ b/sci-mathematics/nusmv/metadata.xml
@@ -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>
diff --git a/sci-mathematics/nusmv/nusmv-2.3.1.ebuild b/sci-mathematics/nusmv/nusmv-2.3.1.ebuild
index 76dfdb021a0e..3911e7879616 100644
--- a/sci-mathematics/nusmv/nusmv-2.3.1.ebuild
+++ b/sci-mathematics/nusmv/nusmv-2.3.1.ebuild
@@ -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 @@ src_compile() {
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
diff --git a/sci-mathematics/nusmv/nusmv-2.5.0.ebuild b/sci-mathematics/nusmv/nusmv-2.5.0.ebuild
index 9db23a6f50e0..df03ca11095d 100644
--- a/sci-mathematics/nusmv/nusmv-2.5.0.ebuild
+++ b/sci-mathematics/nusmv/nusmv-2.5.0.ebuild
@@ -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 @@ src_compile() {
fi
cd ${NUSMV_S}
- econf ${myconf} || die "econf failed"
+ econf ${myconf}
emake || die "emake failed"
VARTEXFONTS="${T}"/fonts emake docs
diff --git a/sci-mathematics/nusmv/nusmv-2.5.2.ebuild b/sci-mathematics/nusmv/nusmv-2.5.2.ebuild
index 25b7d2370ed5..dddae2b6d661 100644
--- a/sci-mathematics/nusmv/nusmv-2.5.2.ebuild
+++ b/sci-mathematics/nusmv/nusmv-2.5.2.ebuild
@@ -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 @@ src_compile() {
fi
cd ${NUSMV_S}
- econf ${myconf} || die "econf failed"
+ econf ${myconf}
emake || die "emake failed"
VARTEXFONTS="${T}"/fonts emake docs