summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2017-04-20 17:53:04 +0200
committerDavid Seifert <soap@gentoo.org>2017-04-20 18:39:28 +0200
commit6e2a8fcabed234c4cad3240c677b6eabb7021f01 (patch)
treeda513efec87df45ac02e8ccf1e31c6736170a660 /sci-mathematics/nusmv
parentsci-mathematics/kodkod: [QA] Add missing python metadata variables (diff)
downloadgentoo-6e2a8fcabed234c4cad3240c677b6eabb7021f01.tar.gz
gentoo-6e2a8fcabed234c4cad3240c677b6eabb7021f01.tar.bz2
gentoo-6e2a8fcabed234c4cad3240c677b6eabb7021f01.zip
sci-mathematics/nusmv: [QA] Add missing python metadata variables
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Diffstat (limited to 'sci-mathematics/nusmv')
-rw-r--r--sci-mathematics/nusmv/nusmv-2.6.0.ebuild18
1 files changed, 10 insertions, 8 deletions
diff --git a/sci-mathematics/nusmv/nusmv-2.6.0.ebuild b/sci-mathematics/nusmv/nusmv-2.6.0.ebuild
index 929d8698706..235562292b0 100644
--- a/sci-mathematics/nusmv/nusmv-2.6.0.ebuild
+++ b/sci-mathematics/nusmv/nusmv-2.6.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2016 Gentoo Foundation
+# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -15,6 +15,7 @@ DESCRIPTION="NuSMV: new symbolic model checker"
HOMEPAGE="http://nusmv.fbk.eu/"
SRC_URI="http://nusmv.fbk.eu/distrib/${NUSMV_A}
zchaff? ( http://www.princeton.edu/~chaff/zchaff/${ZCHAFF_A} )"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64 ~x86"
@@ -23,14 +24,15 @@ REQUIRED_USE="|| ( minisat zchaff )"
SHARED_DEPEND="minisat? ( >=sci-mathematics/minisat-2.2.0_p20130925 )"
RDEPEND="${SHARED_DEPEND}
- dev-libs/expat"
+ dev-libs/expat"
DEPEND="${SHARED_DEPEND}
- doc? (
- virtual/latex-base
- dev-texlive/texlive-latexextra
- app-doc/doxygen
- )
- dev-libs/libxml2"
+ doc? (
+ virtual/latex-base
+ dev-texlive/texlive-latexextra
+ app-doc/doxygen
+ )
+ dev-libs/libxml2
+ ${PYTHON_DEPS}"
S="${WORKDIR}/${MY_P}/NuSMV"