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/nusmv/nusmv-2.3.1.ebuild
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/nusmv/nusmv-2.3.1.ebuild')
-rw-r--r--sci-mathematics/nusmv/nusmv-2.3.1.ebuild6
1 files changed, 3 insertions, 3 deletions
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