blob: 54927b8605fbdb9775addaba0f68cb253e3010e3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
DEFINED_PHASES=compile configure install postinst postrm preinst prepare setup
DEPEND=python_targets_python2_7? ( >=dev-lang/python-2.7.5-r2:2.7 ) >=dev-lang/python-exec-2:=[python_targets_python2_7(-)?,-python_single_target_python2_7(-)] gmp? ( dev-libs/gmp:0 ) java? ( >=virtual/jdk-1.8 ) >=dev-java/java-config-2.2.0-r3
DESCRIPTION=An efficient theorem prover
EAPI=6
HOMEPAGE=http://z3.codeplex.com/
IUSE=doc examples gmp isabelle java python elibc_FreeBSD elibc_FreeBSD python_targets_python2_7
KEYWORDS=~amd64 ~x86
LICENSE=MIT
RDEPEND=python_targets_python2_7? ( >=dev-lang/python-2.7.5-r2:2.7 ) >=dev-lang/python-exec-2:=[python_targets_python2_7(-)?,-python_single_target_python2_7(-)] gmp? ( dev-libs/gmp:0 ) >=dev-java/java-config-2.2.0-r3
REQUIRED_USE=|| ( python_targets_python2_7 )
SLOT=0
SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.4.1.tar.gz
_eclass_exported_funcs=pkg_preinst:java-pkg-2 pkg_postrm:- pkg_postinst:- pkg_setup:- src_prepare:- src_configure:- src_compile:- src_install:-
_eclasses_=epatch 8233751dc5105a6ae8fcd86ce2bb0247 epunt-cxx f8073339d152f56626493f43d8ba4691 estack 43ddf5aaffa7a8d0482df54d25a66a1f eutils e7491451996e8b54c3caeb713285b0fb flag-o-matic 61cad4fb5d800b29d484b27cb033f59b java-pkg-2 c4e6af2574fd1dc79b43a6e27af4b5fb java-pkg-simple 3e71074eb6884746b37b70b2c9c881f4 java-utils-2 1971a6927fcd7ec839f7e12b28a24bdd ltprune 2770eed66a9b8ef944714cd0e968182e multibuild f2f24d4e28bce643f56a6e1e57b82a66 multilib 0236be304ee52e7f179ed2f337075515 python-r1 0c067f080a047742ffac024b16895b45 python-utils-r1 a166d0f5815d7f1e67bb60a196f1bf7e toolchain-funcs 6eb35f81556258a4bc9182ad3dfd58ee versionator c80ccf29e90adea7c5cae94b42eb76d0
_md5_=a8a9f26b70189c633449b27c0359df1b
|
GitWeb
