diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
| commit | 3517852e3b8a68d1e997770fc0650c5053bafc6c (patch) | |
| tree | 44068672445b1418489aed82de58df3c470289e7 /metadata/md5-cache/sci-mathematics/stp-2.3.3-r1 | |
| parent | 0f15659d48c193027158492acb726297501202c5 (diff) | |
gentoo resync : 04.01.2022
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/stp-2.3.3-r1')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/stp-2.3.3-r1 | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/stp-2.3.3-r1 b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r1 new file mode 100644 index 000000000000..7296fc609e28 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r1 @@ -0,0 +1,16 @@ +BDEPEND=test? ( dev-python/lit ) dev-util/ninja >=dev-util/cmake-3.20.5 +DEFINED_PHASES=compile configure install prepare setup test unpack +DEPEND=dev-libs/boost:= sci-mathematics/minisat:= sys-libs/zlib:= cryptominisat? ( dev-db/sqlite:3 dev-libs/icu:= sci-mathematics/cryptominisat:= ) python? ( python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) python_single_target_python3_10? ( dev-lang/python:3.10 >=dev-lang/python-exec-2:=[python_targets_python3_10] ) ) +DESCRIPTION=Simple Theorem Prover, an efficient SMT solver for bitvectors +EAPI=8 +HOMEPAGE=https://stp.github.io/ +IUSE=cryptominisat debug +python test python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 +KEYWORDS=~amd64 ~x86 +LICENSE=GPL-2+ MIT +RDEPEND=dev-libs/boost:= sci-mathematics/minisat:= sys-libs/zlib:= cryptominisat? ( dev-db/sqlite:3 dev-libs/icu:= sci-mathematics/cryptominisat:= ) python? ( python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) python_single_target_python3_10? ( dev-lang/python:3.10 >=dev-lang/python-exec-2:=[python_targets_python3_10] ) ) +REQUIRED_USE=python? ( ^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 ) ) +RESTRICT=!test? ( test ) +SLOT=0/2.3.3 +SRC_URI=https://github.com/stp/stp/archive/2.3.3.tar.gz -> stp-2.3.3.tar.gz test? ( https://github.com/stp/OutputCheck/archive/119fe41a83bc455a24a11ecc9b78e7b13fcfcc45.tar.gz -> stp-2.3.3_OutputCheck.tar.gz https://github.com/stp/googletest/archive/2ad076167a676e3ed62f90b754b30fac5caa1f88.tar.gz -> stp-2.3.3_gtest.tar.gz ) +_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic d5e1306543bc457213f68bb18f830d14 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 d46c125afba8be02eb1cd7104bac6e9c python-utils-r1 a8b7938ade305f087865de7e52d079b5 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=11e6806c88d32a5498968db645e8062f |