2019-12-25 06:32:38 +00:00
|
|
|
# Created by paludis-3.0.0 on Wed Dec 25 03:01:11 CET 2019
|
2016-10-20 21:55:34 +00:00
|
|
|
CHOST="x86_64-pc-linux-gnu"
|
|
|
|
|
DEPENDENCIES="( ( build+fetch: sys-apps/util-linux[>=2.13_pre2] dev-scm/git[>=1.6.0][curl] net-misc/curl[ssl(+)] ) ) [[ defined-in = [ scm.exlib ] ]] ( build: dev-lang/python:2.7 build+run: dev-lang/ocaml dev-libs/gmp:* ) [[ defined-in = [ z3.exlib ] ]]"
|
|
|
|
|
DESCRIPTION=""
|
|
|
|
|
EAPI="pbin-1+exheres-0"
|
|
|
|
|
HOMEPAGE="https://github.com/Z3Prover/z3"
|
|
|
|
|
INHERITED=" scm-git scm github z3"
|
|
|
|
|
MYOPTIONS="( ) "
|
|
|
|
|
PLATFORMS="~amd64"
|
|
|
|
|
LICENCES="MIT"
|
|
|
|
|
SLOT="0"
|
|
|
|
|
DOWNLOADS=""
|
|
|
|
|
OPTIONS=""
|
2016-12-19 03:13:48 +00:00
|
|
|
GENERATED_USING="paludis-3.0.0"
|
2019-12-25 06:32:38 +00:00
|
|
|
GENERATED_TIME="1577239271"
|
2019-12-17 06:15:18 +00:00
|
|
|
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES COCKPIT_COMPONENTS CONTRIB_MODULES COURIER_MODULES ENCODINGS EPIPHANY_EXTENSIONS EXTENSIONS FPRINT_DRIVERS GCC_VERSION GIT_REMOTE_HELPERS GSTREAMER_PLUGINS IM_PROTOCOLS INPUT_DRIVERS KDE_PARTS KIPI_PLUGINS KOPETE_PLUGINS LIBC LINGUAS LUA_ABIS MODULES NGINX_MODULES NUT_DRIVERS P2P_NETWORKS PCSC_DRIVERS PHP_ABIS PHP_EXTENSIONS PLATFORM PLUGINS POSTGRESQL_EXTENSIONS POSTGRESQL_SERVERS PROVIDERS PYTHON_ABIS RUBY_ABIS TARGETS VALA_ABIS VIDEO_DRIVERS X86_CPU_FEATURES"
|
|
|
|
|
HIDDEN_SUBOPTIONS="ARM_CPU_FEATURES LIBC PLATFORM X86_CPU_FEATURES"
|
2016-10-20 21:55:34 +00:00
|
|
|
ASFLAGS=""
|
|
|
|
|
CBUILD=""
|
|
|
|
|
CC="x86_64-pc-linux-gnu-cc"
|
|
|
|
|
CFLAGS="-march=native -pipe -O2"
|
|
|
|
|
CHOST="x86_64-pc-linux-gnu"
|
|
|
|
|
CTARGET=""
|
|
|
|
|
CXX="x86_64-pc-linux-gnu-c++"
|
|
|
|
|
CXXFLAGS="-march=native -pipe -O2"
|
|
|
|
|
LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--hash-style=gnu"
|
|
|
|
|
LIBCXXFLAGS=""
|
|
|
|
|
GENERATED_FROM_REPOSITORY="nicoo"
|
|
|
|
|
PLATFORMS="~amd64"
|
|
|
|
|
BINARY_PLATFORMS="~amd64"
|
2019-12-25 06:32:38 +00:00
|
|
|
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.10079.1577239266.339081.C.tar.bz2"
|
2016-10-20 21:55:34 +00:00
|
|
|
SUMMARY="Open-source, high performance theorem prover"
|
|
|
|
|
BUGS_TO=""
|
|
|
|
|
REMOTE_IDS=" github:Z3Prover/z3 "
|
|
|
|
|
UPSTREAM_CHANGELOG=""
|
|
|
|
|
UPSTREAM_RELEASE_NOTES=""
|
|
|
|
|
UPSTREAM_DOCUMENTATION=""
|
2019-12-25 06:32:38 +00:00
|
|
|
SCM_REVISION="78feac44655fd322c087d41da85b3f60b2d47fb4"
|
