summaryrefslogtreecommitdiff
path: root/sci-mathematics/stp
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-06-29 08:00:25 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-06-29 08:00:25 +0100
commitd855918b46ba8714cf1320fe63b55fd0ed1748a6 (patch)
tree4d7d0e86122a07796a660310d507f93e1b7747b9 /sci-mathematics/stp
parentb8325835c82367d22428eb41afa0f2d375338d3c (diff)
gentoo auto-resync : 29:06:2024 - 08:00:25
Diffstat (limited to 'sci-mathematics/stp')
-rw-r--r--sci-mathematics/stp/Manifest4
-rw-r--r--sci-mathematics/stp/stp-2.3.3-r3.ebuild8
-rw-r--r--sci-mathematics/stp/stp-2.3.4.ebuild10
3 files changed, 16 insertions, 6 deletions
diff --git a/sci-mathematics/stp/Manifest b/sci-mathematics/stp/Manifest
index eed3f58e0f73..92f779201219 100644
--- a/sci-mathematics/stp/Manifest
+++ b/sci-mathematics/stp/Manifest
@@ -7,6 +7,6 @@ DIST stp-2.3.3.tar.gz 2577550 BLAKE2B 9ebedf3cb8e6b50d037cfacbc14826bd4e6505d29a
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
DIST stp-2.3.4.tar.gz 3543794 BLAKE2B 94813f76db3f1ba5ccdd226d5013c470ea0e265ffccc53050d49b1f7bd09bac87f1baf7d49325b106fd9a2bf934e78e879f58c913685176bcebf0f92a9b70168 SHA512 d4355698cd2d96199bd548d996f0c50788c0329b20e79ea0dd4d9e04b48417850041205d7d9efa342f8a362d203d434ec25aa22649f650f658acac2bfadb3ecf
-EBUILD stp-2.3.3-r3.ebuild 2672 BLAKE2B da4e83f06666631b8273f40616b1de06b11a3b3fd34f810cfe5c8d8d1f9f6b6aab53748e7a9bb550e22b6bda2db47deb4b7582a6897f0f5419d509af42984016 SHA512 aeb87a19f5c125d90f0ca8c54f80f3c7e87f4a991ea9b0aef1b5350aaf49c2db715a5ca4253d575e4a73c376867c92e5c547f141e6852afefd57fd7dbe7c3cbf
-EBUILD stp-2.3.4.ebuild 2282 BLAKE2B b0fb4c62113bcbd53d3d7bfae0ed94cb311c2d77caca335333e84baaf14cc7724cdf6e5fbb27357637c4f2b46333f57f58950820005617d37d4d15dc8d4f0c29 SHA512 59a8e7fd18b3a887ca345961e4f80d55e874b3d8184b58523e7ce57000661aeccde2568a7a47e1ac980e82dd1d22e21c85270437b7798a8f9c35c194546d3019
+EBUILD stp-2.3.3-r3.ebuild 2720 BLAKE2B e9f0cc2ac51a410bb1ad5541ef5bf92e3c9a9d5435ab83cabcde35c084832a2d4f8bd1c4feaea202ac91a438e4d120ce3c3a9c59a255bd159404d0a6daa18e36 SHA512 b0b630393f1aba012adec51daeb18fa5df56938dfb15a91a97c7916035a87a2c5283a90048879e31b532b38322f3d559d497f7df93e0354f5d6900ade6aaae5d
+EBUILD stp-2.3.4.ebuild 2269 BLAKE2B c3fed746e5847fc5aaff25944fb0adbec115f851d8f89865ae4f4140bd1157ea5f079e6108b75fe773891670816bbc0f6b9e82259e2f5fadf6b32f41c24a464b SHA512 c96405d66299bf5a384e3750ff427e42502882d772117181fe88ef8778e29c72295be0bf7ee5ea1a83c0e544e4d8733d09d7d5e79d45bb50fc949f95d30b8cb6
MISC metadata.xml 1110 BLAKE2B e13b9420b7f730e6b9e2571e3f4e8a48cf7f54b16fa767fce48099549071c4c819e16a5da25b6779c77a5a7a7f21c3ec61eeb2719867f874a1c4fa21b84e32f2 SHA512 aa3ddfd8d3bf4647f230f0ca55b6f70f9f82f2ae63fe21edad637397fb1bd2779241a2e439a48bed59bd1de11ef3b4e275731c6a90873ec5d86bb5897bf2a9f0
diff --git a/sci-mathematics/stp/stp-2.3.3-r3.ebuild b/sci-mathematics/stp/stp-2.3.3-r3.ebuild
index ae62721212d2..bd4d40fd22d4 100644
--- a/sci-mathematics/stp/stp-2.3.3-r3.ebuild
+++ b/sci-mathematics/stp/stp-2.3.3-r3.ebuild
@@ -100,12 +100,18 @@ src_configure() {
fi
local -a 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)
-DENABLE_TESTING=$(usex test)
)
+
+ if use test ; then
+ mycmakeargs+=(
+ -DTEST_C_API=OFF # C API test fail
+ )
+ fi
+
cmake_src_configure
}
diff --git a/sci-mathematics/stp/stp-2.3.4.ebuild b/sci-mathematics/stp/stp-2.3.4.ebuild
index ab1cbf96c2d2..ab792a8ff3cd 100644
--- a/sci-mathematics/stp/stp-2.3.4.ebuild
+++ b/sci-mathematics/stp/stp-2.3.4.ebuild
@@ -78,9 +78,6 @@ src_configure() {
fi
local -a mycmakeargs=(
- # -DGTEST_PREFIX="${BROOT}/usr/$(get_libdir)/cmake/GTest"
-
- -DTEST_C_API=OFF # C API test fail
-DUSE_RISS=OFF
# Cryptominisat switches
@@ -91,6 +88,13 @@ src_configure() {
-DENABLE_ASSERTIONS=$(usex test)
-DENABLE_TESTING=$(usex test)
)
+
+ if use test ; then
+ mycmakeargs+=(
+ -DTEST_C_API=OFF # C API test fail
+ )
+ fi
+
cmake_src_configure
}