summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-12-13 14:14:26 +0100
committerAlfredo Tupone <tupone@gentoo.org>2024-12-13 14:15:04 +0100
commit3799cc85acfc1452f49b27692050617eb622daa9 (patch)
treecf492307286b4f137e1ce21b9def962d8b24563a /dev-ada
parentgui-apps/foot: Stabilize 1.17.2 ppc64, #937141 (diff)
downloadgentoo-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
}