diff options
author | David Seifert <soap@gentoo.org> | 2017-04-20 17:53:04 +0200 |
---|---|---|
committer | David Seifert <soap@gentoo.org> | 2017-04-20 18:39:28 +0200 |
commit | 6e2a8fcabed234c4cad3240c677b6eabb7021f01 (patch) | |
tree | da513efec87df45ac02e8ccf1e31c6736170a660 /sci-mathematics/nusmv | |
parent | sci-mathematics/kodkod: [QA] Add missing python metadata variables (diff) | |
download | gentoo-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.ebuild | 18 |
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 929d86987067..235562292b07 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" |