diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-02-14 20:48:12 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-02-14 21:27:58 +0100 |
| commit | 8f77d0d7f2f6ead5899395c9a9982089324be7eb (patch) | |
| tree | 1812428d78c6d89ee2d8277c950bc6561a279d1c /sci-mathematics/cryptominisat | |
| parent | app-misc/tty-clock: take ownership (diff) | |
| download | gentoo-8f77d0d7f2f6ead5899395c9a9982089324be7eb.tar.gz gentoo-8f77d0d7f2f6ead5899395c9a9982089324be7eb.tar.bz2 gentoo-8f77d0d7f2f6ead5899395c9a9982089324be7eb.zip | |
sci-mathematics/cryptominisat: drop old 5.11.14
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/cryptominisat')
| -rw-r--r-- | sci-mathematics/cryptominisat/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/cryptominisat/cryptominisat-5.11.14.ebuild | 39 |
2 files changed, 0 insertions, 40 deletions
diff --git a/sci-mathematics/cryptominisat/Manifest b/sci-mathematics/cryptominisat/Manifest index f988449884b0..d56bf9cb9c63 100644 --- a/sci-mathematics/cryptominisat/Manifest +++ b/sci-mathematics/cryptominisat/Manifest @@ -1,2 +1 @@ -DIST cryptominisat-5.11.14.tar.gz 1013009 BLAKE2B 83fc29694caa3a3883f617affaf9906da6f9ded11a6894e92274c47c4df202b7ef2a404f25781348752a471564a6469aacea9a79d466d01d3d703e4df7a357a8 SHA512 efcec05f515f1c83d5ecc96cb21ad956bae52563749412cd9d0279b0780c0f91b7143ebc5524dc7d45d159e921a88503248ccef6d2ef37875e78b7a163ddb3ce DIST cryptominisat-5.11.15.tar.gz 968163 BLAKE2B e14d7d42fa8391cbb16d887c90b3a4d272644895ec11cf134df8b9d8e46ef425afab3622cf109d4c1f2a16f6f24d3768110aff947df0070cd660b29da1cdc609 SHA512 a84e060e3fddbd19f1b35f61b0931c342cdb545d1135f33b5390446598b8d5743258e59975b71d62a25b86e0704d90b52072e97989f1b81e80e2bbba3118d3fb 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 -} |