summaryrefslogtreecommitdiff
path: root/sci-mathematics/stp
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/stp')
-rw-r--r--sci-mathematics/stp/Manifest2
-rw-r--r--sci-mathematics/stp/stp-2.3.3-r2.ebuild4
2 files changed, 4 insertions, 2 deletions
diff --git a/sci-mathematics/stp/Manifest b/sci-mathematics/stp/Manifest
index 37f687826087..dc32f568b7dc 100644
--- a/sci-mathematics/stp/Manifest
+++ b/sci-mathematics/stp/Manifest
@@ -3,5 +3,5 @@ AUX stp-stp.py-library_path.patch 372 BLAKE2B 1e36f48d2c403cdea156157826a1b3c3e4
DIST stp-2.3.3.tar.gz 2577550 BLAKE2B 9ebedf3cb8e6b50d037cfacbc14826bd4e6505d29a53b1fcc6580749f0637fe5f96619c166babdb3a52b18fb6337e49c02f5693e233effe84d0131d0e7402381 SHA512 a0b1bf419d8230e40ce0aee90d9c8c9d814aca300831c24b3576c75623362942abf20673c419f9f0ea1e0505bfae000dc65fdd818179f5759879b0b255f1b99a
DIST stp-2.3.3_OutputCheck.tar.gz 12002 BLAKE2B f8fafba8f7957f3d0ee480b9e1e8c8923c373cf134512d6329adf84a96f3177ad07d00eae4dc6dd8d4b09ca82dfc8b425602f1926e3f88ccb2556b4b7121e5b9 SHA512 36012ae2b2aee1ff3f36ba1678a4bcbfeb590e01c2042ca35eb2f49b6a890b767c1809d1415e7b03f2118204361f834ad9caf70319b59fd14b2c140bf858d16e
DIST stp-2.3.3_gtest.tar.gz 469100 BLAKE2B 386444657d3f23e54f01dac8e0ac36da4d97c3eebcc8cf79bfc754c474a5ed64765a0ad389fef358667e468469c47d02a407e13e6882d426a4defb0102e4a758 SHA512 2fc79fe9c8a4e0487e7e76db9508fd2207df0cfe3940a51aeac32e4440afab9e265bfe553b1cd66086cd5a574d8bf99dbb9e1d9c4a70fafd7b31f38825914aa1
-EBUILD stp-2.3.3-r2.ebuild 2488 BLAKE2B 123f264236f77e4d4bc6cc3464bd20c52037d7ec890b0f09a8eedc5d0a8004b56c9d0e291612d9c4cb8b23cdab44da0cd5018f996498a697bb0a80a1afeb687c SHA512 438e9aa6900d038d9b1cb54d25b53be292b06bb569ea2390641d4bef9dda5c213e1bc903d3a387047ad7477b9a4574840b9c18304b65052a19f56585ee6d45d5
+EBUILD stp-2.3.3-r2.ebuild 2555 BLAKE2B 06b46e12afb0b64509c339e1066bc4bd2cf4bdb831ed13d38f87cbf26765a837d4f184af68c14e76ebfb69938763ef4b6e812d7cef49f41db427086b01ffc7e4 SHA512 ffd97d2b993f2a2577b0ee3a058ed9a70dcdff404fa57e98c479bcdcfb215b3d00f8e688af0fa2651a4b6a856fef5e4e8f4eb736b2fd0c5386861faee37be009
MISC metadata.xml 1110 BLAKE2B e13b9420b7f730e6b9e2571e3f4e8a48cf7f54b16fa767fce48099549071c4c819e16a5da25b6779c77a5a7a7f21c3ec61eeb2719867f874a1c4fa21b84e32f2 SHA512 aa3ddfd8d3bf4647f230f0ca55b6f70f9f82f2ae63fe21edad637397fb1bd2779241a2e439a48bed59bd1de11ef3b4e275731c6a90873ec5d86bb5897bf2a9f0
diff --git a/sci-mathematics/stp/stp-2.3.3-r2.ebuild b/sci-mathematics/stp/stp-2.3.3-r2.ebuild
index e59e4388c2c3..5f29dc351697 100644
--- a/sci-mathematics/stp/stp-2.3.3-r2.ebuild
+++ b/sci-mathematics/stp/stp-2.3.3-r2.ebuild
@@ -11,7 +11,8 @@ PYTHON_COMPAT=( python3_{8,9,10} )
inherit flag-o-matic python-single-r1 cmake
DESCRIPTION="Simple Theorem Prover, an efficient SMT solver for bitvectors"
-HOMEPAGE="https://stp.github.io/"
+HOMEPAGE="https://stp.github.io/
+ https://github.com/stp/stp/"
SRC_URI="https://github.com/stp/stp/archive/${PV}.tar.gz -> ${P}.tar.gz
test? (
https://github.com/stp/OutputCheck/archive/${OC_H}.tar.gz -> ${P}_OutputCheck.tar.gz
@@ -82,6 +83,7 @@ src_configure() {
fi
local mycmakeargs=(
+ -DTEST_C_API=OFF # C API test fail
-DNOCRYPTOMINISAT=$(usex cryptominisat 'OFF' 'ON') # double negation
-DENABLE_PYTHON_INTERFACE=$(usex python)
-DENABLE_ASSERTIONS=$(usex test)