From dbcb48dedd80e9453883ed9e0b0ed4561a534e57 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 14 Feb 2024 23:36:42 +0000 Subject: gentoo auto-resync : 14:02:2024 - 23:36:42 --- sci-mathematics/cryptominisat/Manifest | 4 +-- .../cryptominisat/cryptominisat-5.11.14.ebuild | 39 --------------------- .../cryptominisat/cryptominisat-5.11.21.ebuild | 40 ++++++++++++++++++++++ 3 files changed, 42 insertions(+), 41 deletions(-) delete mode 100644 sci-mathematics/cryptominisat/cryptominisat-5.11.14.ebuild create mode 100644 sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild (limited to 'sci-mathematics/cryptominisat') 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.14.ebuild deleted file mode 100644 index 8eb2f8619f84..000000000000 --- a/sci-mathematics/cryptominisat/cryptominisat-5.11.14.ebuild +++ /dev/null @@ -1,39 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit cmake - -DESCRIPTION="Advanced SAT solver with C++ and command-line interfaces" -HOMEPAGE="https://github.com/msoos/cryptominisat/" - -if [[ "${PV}" == *9999* ]] ; then - inherit git-r3 - - EGIT_REPO_URI="https://github.com/msoos/${PN}.git" -else - SRC_URI="https://github.com/msoos/${PN}/archive/${PV}.tar.gz - -> ${P}.tar.gz" - - KEYWORDS="~amd64 ~x86" -fi - -SLOT="0/${PV}" -LICENSE="GPL-2 MIT" -RESTRICT="test" # Tests require many git modules. - -RDEPEND=" - dev-libs/boost:= - sys-libs/zlib:= -" -DEPEND="${RDEPEND}" - -src_configure() { - local -a mycmakeargs=( - -DNOBREAKID=ON - -DNOM4RI=ON - -DENABLE_TESTING=OFF - ) - cmake_src_configure -} diff --git a/sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild b/sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild new file mode 100644 index 000000000000..4beb16299f8c --- /dev/null +++ b/sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild @@ -0,0 +1,40 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit cmake + +DESCRIPTION="Advanced SAT solver with C++ and command-line interfaces" +HOMEPAGE="https://github.com/msoos/cryptominisat/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/msoos/${PN}.git" +else + SRC_URI="https://github.com/msoos/${PN}/archive/${PV}.tar.gz + -> ${P}.tar.gz" + + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="GPL-2 MIT" +SLOT="0/${PV}" +RESTRICT="test" # Tests require some git modules. + +RDEPEND=" + dev-libs/boost:= + sys-libs/zlib:= +" +DEPEND=" + ${RDEPEND} +" + +src_configure() { + local -a mycmakeargs=( + -DNOBREAKID=ON + -DENABLE_TESTING=OFF + ) + cmake_src_configure +} -- cgit v1.2.3