diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-06-29 08:00:25 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-06-29 08:00:25 +0100 |
| commit | d855918b46ba8714cf1320fe63b55fd0ed1748a6 (patch) | |
| tree | 4d7d0e86122a07796a660310d507f93e1b7747b9 /sci-mathematics | |
| parent | b8325835c82367d22428eb41afa0f2d375338d3c (diff) | |
gentoo auto-resync : 29:06:2024 - 08:00:25
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 19333 -> 19332 bytes | |||
| -rw-r--r-- | sci-mathematics/spin/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/spin/metadata.xml | 5 | ||||
| -rw-r--r-- | sci-mathematics/stp/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/stp/stp-2.3.3-r3.ebuild | 8 | ||||
| -rw-r--r-- | sci-mathematics/stp/stp-2.3.4.ebuild | 10 |
6 files changed, 18 insertions, 11 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex b929a618d256..dcf40203eca5 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/spin/Manifest b/sci-mathematics/spin/Manifest index 1c4f81d81786..dbe72d8ffaef 100644 --- a/sci-mathematics/spin/Manifest +++ b/sci-mathematics/spin/Manifest @@ -2,4 +2,4 @@ AUX spin-6.5.2-makefile.patch 320 BLAKE2B d88604300a9a1c7f16339e9c9c0ba96f79e3a0 AUX spin-6.5.2-nesting_limit.patch 1755 BLAKE2B 8c7b54262492dfc399bfbd90383a801375f4a6c6d7604f2f17841285b3ffb2ef32db67a02bdf4bee3b71633b436e057d4e0d6594c1a545ee7278c578546fb563 SHA512 dd92d130c61698d44c88e13ff8b744f3412dd5940e37c0c5e971889644e5482fcac1b0483e8dae0b6197749828a8dbdf74a5402fc2e8fb7dd88876199e02832a DIST spin-6.5.2.tar.gz 6084903 BLAKE2B a075043c55609de5860c3a428d356a9618a4062667e06d92797e1fb87cb4c805ac90ac580c7d9dfac1d5be1dda4c7f9c9f72927826b921c23710a858adb3eb4d SHA512 ff1d378076995fa5a8b66dd31d19d8bad6296b968183180251d267c926c20775edda927a31f466199e01231f6233c3a5166fd51ec44b02d570070e857d8ba7f9 EBUILD spin-6.5.2-r1.ebuild 1111 BLAKE2B b2b0367fb373fdd5e9dc47c9f561fad3f6986e523dfcfb234297675e0d005d223d456d3fa5452e16374f00e7e57d971cfc48fd3c837070ff6da211e2436d808a SHA512 a2d4af0f6e8be46ff6e323fd66e8d22e2dc9ab963c9f69d7cf93b4974e24d076e55bae6a01053ae6ec58aea40d859ca937b22da00455bc7c3730b838ed555baf -MISC metadata.xml 327 BLAKE2B 1b6a2bbece4fff801301d1bc5b86ebea4fe32096f1fb76d24831bd299608d73116261733e1318cf76532a336c467b394655157145ba565e256626ca66bf191be SHA512 5baaef50807b13c5a3e63d394a0df2b75ecb7973d1467d918329b55536ff6280da086311ee56bcff9fc156f377f077916d572f3cf8a1756d959b4bdb70b55ae8 +MISC metadata.xml 249 BLAKE2B e10620a2198a73cc89eba59fed33a3c0dfb695ec32736d048cec0e20fb089701500b74f8c79eea2810fc053cbe00336cdd95a2b9179dfe73ed426029ea7289e8 SHA512 4261abf986eb6c1696c8d8fcf89e3a4de5748d11d8e7a4b11e6b900ee9d34b4061a0636385bb8e8a024aa3516526b1f495aab0fad585a8ff8c80e6f80e078b10 diff --git a/sci-mathematics/spin/metadata.xml b/sci-mathematics/spin/metadata.xml index 081ee86ca70e..a8e0865a4e65 100644 --- a/sci-mathematics/spin/metadata.xml +++ b/sci-mathematics/spin/metadata.xml @@ -1,10 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>marecki@gentoo.org</email> - <name>Marek Szuba</name> - </maintainer> + <!-- maintainer-needed --> <upstream> <remote-id type="github">nimble-code/Spin</remote-id> </upstream> 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 } |