diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2024-12-13 14:14:26 +0100 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2024-12-13 14:15:04 +0100 |
commit | 3799cc85acfc1452f49b27692050617eb622daa9 (patch) | |
tree | cf492307286b4f137e1ce21b9def962d8b24563a /dev-ada | |
parent | gui-apps/foot: Stabilize 1.17.2 ppc64, #937141 (diff) | |
download | gentoo-3799cc85acfc1452f49b27692050617eb622daa9.tar.gz gentoo-3799cc85acfc1452f49b27692050617eb622daa9.tar.bz2 gentoo-3799cc85acfc1452f49b27692050617eb622daa9.zip |
dev-ada/AdaSAT: use python-any-r1 for test
Closes: https://bugs.gentoo.org/946260
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ada')
-rw-r--r-- | dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild (renamed from dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild) | 20 |
1 files 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 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 } |