commit: 490e4be05c3a388b52de2327cd31be98c965bd8b Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Tue Jul 15 21:15:29 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Tue Jul 15 21:15:29 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=490e4be0
sci-mathematics/boolector: treeclean Closes: https://bugs.gentoo.org/957435 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> profiles/package.mask | 5 -- sci-mathematics/boolector/Manifest | 1 - sci-mathematics/boolector/boolector-3.2.4.ebuild | 89 ---------------------- .../files/boolector-3.2.3-cmake-std.patch | 10 --- .../boolector-3.2.4-cmake_minimum_required.patch | 11 --- sci-mathematics/boolector/metadata.xml | 32 -------- 6 files changed, 148 deletions(-) diff --git a/profiles/package.mask b/profiles/package.mask index 46af1b91f0ad..881b61f62f99 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -134,11 +134,6 @@ dev-python/pytest-tornado # Removal on 2025-07-21. Bug #958592. dev-python/backoff -# Maciej Barć <[email protected]> (2025-06-14) -# Deprecated, repository archived upstream. Compilation problems. -# Removal on 2025-07-14. bug #957435 -sci-mathematics/boolector - # Sam James <[email protected]> (2025-06-12) # Breaks several applications (bug #957943) >=dev-python/pygobject-3.52 diff --git a/sci-mathematics/boolector/Manifest b/sci-mathematics/boolector/Manifest deleted file mode 100644 index d288419b07c6..000000000000 --- a/sci-mathematics/boolector/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST boolector-3.2.4.tar.gz 1567983 BLAKE2B c74e6b7be2931ae164b3cde5ff3c9b60b12ad49b4be23ddb2931f5a71ffbfb5bb98a29ea46780275414bbe2e3e65b6108e489254251f8fd820a89162dc6eaae5 SHA512 57ba34264abd1d4350403b45995b040bd792dbea7d07a1c64d067ddbddeb3944d8515ce667ae4ffef70d35b5be68cfc5938acd6a8a7b242a09f218474024b821 diff --git a/sci-mathematics/boolector/boolector-3.2.4.ebuild b/sci-mathematics/boolector/boolector-3.2.4.ebuild deleted file mode 100644 index e8d430b07a39..000000000000 --- a/sci-mathematics/boolector/boolector-3.2.4.ebuild +++ /dev/null @@ -1,89 +0,0 @@ -# Copyright 1999-2025 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -PYTHON_COMPAT=( python3_{10..13} ) - -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/${PV}.tar.gz - -> ${P}.tar.gz" - - 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 ) -" - -PATCHES=( - "${FILESDIR}/boolector-3.2.3-cmake-std.patch" - "${FILESDIR}/boolector-3.2.4-cmake_minimum_required.patch" -) - -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 - - if use examples ; then - dodoc -r examples - fi - - if [[ "$(get_libdir)" != lib ]] ; then - dodir "/usr/$(get_libdir)" - mv "${ED}/usr/lib"/*.so "${ED}/usr/$(get_libdir)/" || die - fi -} diff --git a/sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch b/sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch deleted file mode 100644 index fd0d840fc64c..000000000000 --- a/sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- a/CMakeLists.txt -+++ b/CMakeLists.txt -@@ -196,7 +196,6 @@ set_option(USE_PICOSAT ON) - # btorconfig.h and they are else not yet added to CMAKE_C(XX)_FLAGS at - # file generation time (configure_file). - add_required_c_flag("-std=gnu99") --add_required_cxx_flag("-std=gnu++11") - - add_check_c_cxx_flag("-W") - add_check_c_cxx_flag("-Wall") diff --git a/sci-mathematics/boolector/files/boolector-3.2.4-cmake_minimum_required.patch b/sci-mathematics/boolector/files/boolector-3.2.4-cmake_minimum_required.patch deleted file mode 100644 index 096aeadfbc2a..000000000000 --- a/sci-mathematics/boolector/files/boolector-3.2.4-cmake_minimum_required.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/CMakeLists.txt -+++ b/CMakeLists.txt -@@ -5,7 +5,7 @@ - # This file is part of Boolector. - # See COPYING for more information on using this software. - # --cmake_minimum_required(VERSION 3.3) -+cmake_minimum_required(VERSION 3.20) - - #-----------------------------------------------------------------------------# - diff --git a/sci-mathematics/boolector/metadata.xml b/sci-mathematics/boolector/metadata.xml deleted file mode 100644 index b61474ce8353..000000000000 --- a/sci-mathematics/boolector/metadata.xml +++ /dev/null @@ -1,32 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> - -<pkgmetadata> - <maintainer type="project"> - <email>[email protected]</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> - Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories - of fixed-size bit-vectors, arrays and uninterpreted functions. It supports - the SMT-LIB logics BV, QF_ABV, QF_AUFBV, QF_BV and QF_UFBV. Boolector - provides a rich C and Python API and supports incremental solving, both - with the SMT-LIB commands push and pop, and as solving under assumptions. - </longdescription> - <use> - <flag name="cryptominisat"> - Enable support for <pkg>sci-mathematics/cryptominisat</pkg> - </flag> - <flag name="minisat"> - Enable support for <pkg>sci-mathematics/minisat</pkg> - </flag> - <flag name="picosat"> - Enable support for <pkg>sci-mathematics/picosat</pkg> - </flag> - </use> - <upstream> - <bugs-to>https://github.com/Boolector/boolector/issues/</bugs-to> - <doc>https://boolector.github.io/docs/index.html</doc> - <remote-id type="github">Boolector/boolector</remote-id> - </upstream> -</pkgmetadata>
