hasufell-binhost/packages/sci-apps/z3/z3-scm.pbin-1+exheres-0

39 lines
1.9 KiB
Plaintext
Raw Normal View History

2016-11-14 12:44:27 +00:00
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Mon Nov 14 13:24:31 CET 2016
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=""
GENERATED_USING="paludis-2.6.0-git-2.6.0-13-g7d83832"
2016-11-14 12:44:27 +00:00
GENERATED_TIME="1479126271"
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES 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 MULTIBUILD_C NGINX_MODULES NUT_DRIVERS P2P_NETWORKS PCSC_DRIVERS PHP_ABIS PHP_EXTENSIONS PLATFORM PLUGINS POSTGRESQL_EXTENSIONS PROVIDERS PYTHON_ABIS RUBY_ABIS TARGETS VALA_ABIS VIDEO_DRIVERS X86_CPU_FEATURES"
2016-10-20 21:55:34 +00:00
HIDDEN_SUBOPTIONS="ARM_CPU_FEATURES LIBC MULTIBUILD_C PLATFORM X86_CPU_FEATURES"
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"
2016-11-14 12:44:27 +00:00
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.14849.1479126265.998153.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=""
2016-11-14 12:44:27 +00:00
SCM_REVISION="fc7a217cd08a9dcad94f34622e6fbe63791fe2ab"