commit: 015390d2b3004d3df3a7f8d164ffc34508e855df Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Mon May 19 18:40:17 2025 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Mon May 19 18:43:38 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=015390d2
sci-mathematics/cvc4: drop python3_10 support Closes: https://bugs.gentoo.org/955207 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> .../cvc4/{cvc4-1.8-r5.ebuild => cvc4-1.8-r6.ebuild} | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) diff --git a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r6.ebuild similarity index 88% rename from sci-mathematics/cvc4/cvc4-1.8-r5.ebuild rename to sci-mathematics/cvc4/cvc4-1.8-r6.ebuild index 1c55641ca322..36dcb0122cda 100644 --- a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.8-r6.ebuild @@ -1,10 +1,10 @@ # Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=7 +EAPI=8 CMAKE_MAKEFILE_GENERATOR=emake -PYTHON_COMPAT=( python3_{10..13} ) +PYTHON_COMPAT=( python3_{11..13} ) inherit cmake python-any-r1 DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems" @@ -24,11 +24,8 @@ RDEPEND="dev-libs/antlr-c readline? ( sys-libs/readline:0= ) cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= )" -DEPEND="${RDEPEND}" -BDEPEND="$(python_gen_any_dep ' - dev-python/tomli[${PYTHON_USEDEP}] - ') -" +DEPEND="${PYTHON_DEPS} + ${RDEPEND}" PATCHES=( "${FILESDIR}"/${P}-gentoo.patch @@ -37,10 +34,6 @@ PATCHES=( "${FILESDIR}"/${P}-size_t.patch ) -python_check_deps() { - python_has_version "dev-python/tomli[${PYTHON_USEDEP}]" -} - src_prepare() { cmake_src_prepare if use elibc_musl ; then
