commit: d6de1ae13f9751eef79843d8bcfca985c89f80bd
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Apr 9 07:45:25 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Apr 9 09:30:06 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d6de1ae1
sci-mathematics/boolector: drop old 3.2.2_p20220110
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/boolector/Manifest | 1 -
.../boolector/boolector-3.2.2_p20220110.ebuild | 79 ----------------------
2 files changed, 80 deletions(-)
diff --git a/sci-mathematics/boolector/Manifest
b/sci-mathematics/boolector/Manifest
index 4cebd85e36a1..d16abf470fde 100644
--- a/sci-mathematics/boolector/Manifest
+++ b/sci-mathematics/boolector/Manifest
@@ -1,2 +1 @@
-DIST boolector-3.2.2_p20220110.tar.gz 1567668 BLAKE2B
6816f0434d88c790a27b9afe4c3b63c18a55b14f9f13b092f2940309e34842fe4868bf8d378bad130c4561d25e7d79b356fc27d9422bd42ba1b74ff98be36f72
SHA512
b1b964c155c8227e631025cf6bff69cf54728b1d875c2bd44a5a1ddb2857de2ab8fefc96d194faa5f98015e730b417d46a415ea601740e890df07ad5e50ad656
DIST boolector-3.2.3.tar.gz 1566566 BLAKE2B
1c9adb1272c2289af6afce0149b11ce36a42aef47f1b3353f5f9dbaf12287718f29e45415b82b723bd37fb0438517c48d64a12f0c038105edeb6036f49189ac7
SHA512
a85c10edf05455e2911614f9d8f2b214a136470852b31a631c96247416dab822efcc6d9047f3a85c85aff499e8eb62fb36e52f2633511c5b42d287c4962c4239
diff --git a/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
b/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
deleted file mode 100644
index 0e4ea8d6d1b5..000000000000
--- a/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
+++ /dev/null
@@ -1,79 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-[[ ${PV} == *_p20220110 ]] && COMMIT=13a8a06d561041cafcaf5458e404c1ec354b2841
-
-PYTHON_COMPAT=( python3_{9..11} )
-
-inherit python-single-r1 cmake
-
-DESCRIPTION="Fast SMT solver for bit-vectors, arrays and uninterpreted
functions"
-HOMEPAGE="https://boolector.github.io/
- https://github.com/Boolector/boolector/";
-
-if [[ ${PV} == *9999* ]] ; then
- inherit git-r3
- EGIT_REPO_URI="https://github.com/Boolector/${PN}.git";
-else
- SRC_URI="https://github.com/Boolector/${PN}/archive/${COMMIT}.tar.gz
- -> ${P}.tar.gz"
- S="${WORKDIR}"/${PN}-${COMMIT}
- KEYWORDS="~amd64 ~x86"
-fi
-
-LICENSE="MIT"
-SLOT="0"
-IUSE="cryptominisat examples +gmp minisat +picosat python test"
-REQUIRED_USE="
- python? ( ${PYTHON_REQUIRED_USE} )
- || ( cryptominisat minisat picosat )
-"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- sci-mathematics/btor2tools:=
- cryptominisat? ( sci-mathematics/cryptominisat:= )
- gmp? ( dev-libs/gmp:= )
- minisat? ( sci-mathematics/minisat:= )
- picosat? ( sci-mathematics/picosat:= )
- python? ( ${PYTHON_DEPS} )
-"
-DEPEND="${RDEPEND}"
-BDEPEND="test? ( dev-cpp/gtest )"
-
-pkg_setup() {
- use python && python-single-r1_pkg_setup
-}
-
-src_configure() {
- local -a mycmakeargs=(
- -DBUILD_SHARED_LIBS=ON
- -DBtor2Tools_LIBRARIES=/usr/$(get_libdir)/libbtor2parser.so
- -DUSE_PYTHON2=OFF
- -DPYTHON=$(usex python)
- -DTESTING=$(usex test)
- -DUSE_GMP=$(usex gmp)
- -DUSE_PYTHON3=$(usex python)
-
- # Integration with other SMT solvers
- -DUSE_LINGELING=OFF # Not packaged yet.
- -DUSE_CADICAL=OFF # Fails to link.
- -DUSE_CMS=$(usex cryptominisat)
- -DUSE_MINISAT=$(usex minisat)
- -DUSE_PICOSAT=$(usex picosat)
- )
- cmake_src_configure
-}
-
-src_install() {
- cmake_src_install
-
- dodir /usr/$(get_libdir)
- mv "${ED}"/usr/lib/*.so "${ED}"/usr/$(get_libdir)/ || die
-
- if use examples ; then
- dodoc -r examples
- fi
-}
