commit: 3799cc85acfc1452f49b27692050617eb622daa9 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Fri Dec 13 13:14:26 2024 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Fri Dec 13 13:15:04 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3799cc85
dev-ada/AdaSAT: use python-any-r1 for test Closes: https://bugs.gentoo.org/946260 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> ...aSAT-24.0.0-r1.ebuild => AdaSAT-24.0.0-r2.ebuild} | 20 +++++++++++++++++--- 1 file changed, 17 insertions(+), 3 deletions(-) diff --git a/dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild b/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild similarity index 77% rename from dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild rename to dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild index 669ae61fd48f..14a6cf4291b9 100644 --- a/dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild +++ b/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild @@ -3,8 +3,9 @@ EAPI=8 ADA_COMPAT=( gcc_12 gcc_13 ) +PYTHON_COMPAT=( python3_{10..12} ) -inherit ada multiprocessing +inherit ada python-any-r1 multiprocessing DESCRIPTION="Implementation of a DPLL-based SAT solver in Ada" HOMEPAGE="https://github.com/AdaCore/AdaSAT"; @@ -17,13 +18,26 @@ KEYWORDS="~amd64 ~x86" IUSE="+shared static-libs static-pic test" DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]" -BDEPEND="test? ( dev-ada/e3-testsuite )" +BDEPEND="test? ( + $(python_gen_any_dep ' + dev-ada/e3-testsuite[${PYTHON_USEDEP}] + ') +)" REQUIRED_USE="${ADA_REQUIRED_USE} || ( shared static-libs static-pic ) test? ( static-libs )" RESTRICT="!test? ( test )" +python_check_deps() { + use test || return 0 + python_has_version "dev-ada/e3-testsuite[${PYTHON_USEDEP}]" +} + +pkg_setup() { + use test && python-any-r1_pkg_setup +} + src_compile() { build () { gprbuild -P adasat.gpr -p -v -j$(makeopts_jobs) \ @@ -52,5 +66,5 @@ src_install() { src_test() { export ADA_PROJECT_PATH="${S}" - python3 testsuite/testsuite.py || die + ${EPYTHON} testsuite/testsuite.py || die }
