blob: 5d9626307cdbc16b838e970d875a1ff6543f1735 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
DEFINED_PHASES=compile configure install prepare setup test unpack
DEPEND=minisat? ( >=sci-mathematics/minisat-2.2.0_p20130925 ) doc? ( virtual/latex-base dev-texlive/texlive-latexextra app-doc/doxygen ) dev-libs/libxml2 sys-devel/make >=dev-util/cmake-3.5.2
DESCRIPTION=NuSMV: new symbolic model checker
EAPI=6
HOMEPAGE=http://nusmv.fbk.eu/
IUSE=minisat doc zchaff
KEYWORDS=~amd64 ~x86
LICENSE=LGPL-2.1
RDEPEND=minisat? ( >=sci-mathematics/minisat-2.2.0_p20130925 ) dev-libs/expat
REQUIRED_USE=|| ( minisat zchaff )
SLOT=0
SRC_URI=http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz zchaff? ( http://www.princeton.edu/~chaff/zchaff/zchaff.64bit.2007.3.12.zip )
_eclass_exported_funcs=pkg_setup:python-any-r1 src_unpack:- src_prepare:- src_configure:- src_compile:- src_test:cmake-utils src_install:-
_eclasses_=cmake-utils fa4d8052a1ccf4fbbfa76361bffebe42 eutils ea170b525f6a38a006be05c9d9429f13 flag-o-matic 7366202dd55cb8f018f5d450d54e7749 multilib 165fc17c38d1b11dac2008280dab6e80 multiprocessing 7bb10a841be2368af0c00f27dd67560b python-any-r1 1c20f9b800324335a8e3b137363362e8 python-utils-r1 d275302cd06aedef2ba08f81f3104206 toolchain-funcs 1b1da0c45c555989dc5d832b54880783 versionator 99ae9d758cbe7cfed19170e7d48f5a9c
_md5_=e784b786426dfd26cc97e89a8da54b72
|
GitWeb
