diff options
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 | ||||
| -rw-r--r-- | dev-ada/AdaSAT/Manifest | 2 | ||||
| -rw-r--r-- | dev-ada/Manifest.gz | bin | 4906 -> 4905 bytes |
3 files changed, 18 insertions, 4 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 } diff --git a/dev-ada/AdaSAT/Manifest b/dev-ada/AdaSAT/Manifest index 408d0b549c49..23b6a528eb52 100644 --- a/dev-ada/AdaSAT/Manifest +++ b/dev-ada/AdaSAT/Manifest @@ -1,3 +1,3 @@ DIST AdaSAT-24.0.0.tar.gz 30088 BLAKE2B 6375c84d54dab73e1c56a137ac156d327e13b1e885d7a102ea62f841fb4d70fb0bb612c4f632dc78facff2544276601e59c75680d7d182175a16fb20e7b4731b SHA512 313310537c5d6a024e6acae4e2d6fba29b4ab6221a0d793cd9af6b7fec16be8ea59551566781eec676c544066f5721a03e61a340e0a45e3f1af51992fda096c6 -EBUILD AdaSAT-24.0.0-r1.ebuild 1416 BLAKE2B 90b31aff8a399362437004c804a360774d5d81f5eece053fb77612ac72ef100923033003831adf70c9aa1e899f01f753aad51c3b87963a846e379252fd53b7f8 SHA512 8e3443f562261bb13276e65cddbe93cbc0e6e193798fa6ae585f6590965089071427b010fcc3fb94bb3bbdcf3d4defe22a605178ae0ff98601d4bad34bb59e37 +EBUILD AdaSAT-24.0.0-r2.ebuild 1678 BLAKE2B 0aafcbb0e93dfe80e5a249396f92e6b3c50ade45a2d3ec1a9a232f5eeb3dc85d884e4cf061815d48a3d2a7d3b9306a5a5bc5ae508f1d1a2d87b51a26f6410490 SHA512 16f594034c2b25b45a21eb4352dbcba54f7b6ee738a6e6570265d311ebde68c0ae37fbeadce899790bf941db502c726ebf61c4ec94bba1ca8d1e820c93471bf4 MISC metadata.xml 680 BLAKE2B 7d14796f92fad7d885bfa8e9188bd2dd6f243cce52227df9ca6cf3577fe4d50e21a40ffaccf56508d928589bb5f436d2a73c078aab7e86589e9b94ee709dba3d SHA512 9e03c8d3737d0fc60bbb22d0cd4cabba504adeb1d6eead159748a74cc69cbf8bf83b59e9c04924e612e79490482728dd40ecaa96bd97044074bb63a5ade90e68 diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz Binary files differindex f88cae25dc91..2ff595fe4609 100644 --- a/dev-ada/Manifest.gz +++ b/dev-ada/Manifest.gz |