summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-02-14 23:36:42 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-02-14 23:36:42 +0000
commitdbcb48dedd80e9453883ed9e0b0ed4561a534e57 (patch)
tree4622fc6644cfc30441ff26b7d66cd6eac6adbf5c /sci-mathematics
parent0485fd7e57de60b61c04825f986bb3400bcf7116 (diff)
gentoo auto-resync : 14:02:2024 - 23:36:42
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin19145 -> 19144 bytes
-rw-r--r--sci-mathematics/cryptominisat/Manifest4
-rw-r--r--sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild (renamed from sci-mathematics/cryptominisat/cryptominisat-5.11.14.ebuild)11
3 files changed, 8 insertions, 7 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 17016c5bdd4a..76afc5c355e5 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/cryptominisat/Manifest b/sci-mathematics/cryptominisat/Manifest
index e2eb603be726..b56b01b10cc6 100644
--- a/sci-mathematics/cryptominisat/Manifest
+++ b/sci-mathematics/cryptominisat/Manifest
@@ -1,5 +1,5 @@
-DIST cryptominisat-5.11.14.tar.gz 1013009 BLAKE2B 83fc29694caa3a3883f617affaf9906da6f9ded11a6894e92274c47c4df202b7ef2a404f25781348752a471564a6469aacea9a79d466d01d3d703e4df7a357a8 SHA512 efcec05f515f1c83d5ecc96cb21ad956bae52563749412cd9d0279b0780c0f91b7143ebc5524dc7d45d159e921a88503248ccef6d2ef37875e78b7a163ddb3ce
DIST cryptominisat-5.11.15.tar.gz 968163 BLAKE2B e14d7d42fa8391cbb16d887c90b3a4d272644895ec11cf134df8b9d8e46ef425afab3622cf109d4c1f2a16f6f24d3768110aff947df0070cd660b29da1cdc609 SHA512 a84e060e3fddbd19f1b35f61b0931c342cdb545d1135f33b5390446598b8d5743258e59975b71d62a25b86e0704d90b52072e97989f1b81e80e2bbba3118d3fb
-EBUILD cryptominisat-5.11.14.ebuild 752 BLAKE2B 6b1ec4218e34de0fcb98cb8e5877659a8f81feaba1d3bc9a92cfa7f7c004c3e655d45149ebbe92dca11ea180138eb15705aa8e550c5b7cb22ba3d739bf375505 SHA512 0c681051ab75b14a19b7c7405e6e0ae750b9243b0009a4608d39b88ad9ca79f91ddb8b4bbcf62530538e02588bb6df23efa5e53d80ddeb85bdfaafafbb771da0
+DIST cryptominisat-5.11.21.tar.gz 975459 BLAKE2B c1a8e274a5221584c7245405f6b617951528a477ae36680da293acc9e7ee46692a0a37c057749a98c41b7bc302a3d0b9de176379b8c9aece339c2aaa6b6a3308 SHA512 5a1ac51b27cc692c793831aba83cc71188f9c46abdef809fae9c830a2801e1c45310cf5ada1ba4e10cb11aba5efef6407a9f7f0506474f30bdd4a58bfcbdbef7
EBUILD cryptominisat-5.11.15.ebuild 752 BLAKE2B 6b1ec4218e34de0fcb98cb8e5877659a8f81feaba1d3bc9a92cfa7f7c004c3e655d45149ebbe92dca11ea180138eb15705aa8e550c5b7cb22ba3d739bf375505 SHA512 0c681051ab75b14a19b7c7405e6e0ae750b9243b0009a4608d39b88ad9ca79f91ddb8b4bbcf62530538e02588bb6df23efa5e53d80ddeb85bdfaafafbb771da0
+EBUILD cryptominisat-5.11.21.ebuild 763 BLAKE2B b4b79c03461f2b7f1e0e9d81286c0e4bc4144504d9b61c2a42016ca5990a092f5da5035bacebb8dbfbfe15384f81ba1e98ea10dddeff401d833f977c17c51a98 SHA512 6b696b6821909b0026c157dd282d32b3f949986f1a8097545a59c02627a823389c820aff43bed33b22fb0b35a03e0a764ac52d476526c3690effd5ce60ab1eba
MISC metadata.xml 858 BLAKE2B 4543d51cedd7b5e5e8508c14dfae420360f9d76ada1b969d855ca2b17b2c967036b29a9f2769a2c78e736c1e449e2b079558cd7460a72d402e9f1ce029ba414a SHA512 e1b39d888ab6c09f8707a164c7f683831a908477b2c7f219f4c9f71161ba84c145836ca2b1665e200f15a6e2ff6ca6318bd16fc40d57ad9c64bd1a4e229fbabc
diff --git a/sci-mathematics/cryptominisat/cryptominisat-5.11.14.ebuild b/sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild
index 8eb2f8619f84..4beb16299f8c 100644
--- a/sci-mathematics/cryptominisat/cryptominisat-5.11.14.ebuild
+++ b/sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -19,20 +19,21 @@ else
KEYWORDS="~amd64 ~x86"
fi
-SLOT="0/${PV}"
LICENSE="GPL-2 MIT"
-RESTRICT="test" # Tests require many git modules.
+SLOT="0/${PV}"
+RESTRICT="test" # Tests require some git modules.
RDEPEND="
dev-libs/boost:=
sys-libs/zlib:=
"
-DEPEND="${RDEPEND}"
+DEPEND="
+ ${RDEPEND}
+"
src_configure() {
local -a mycmakeargs=(
-DNOBREAKID=ON
- -DNOM4RI=ON
-DENABLE_TESTING=OFF
)
cmake_src_configure