From 59d772d9463f8cf6a145a677bedbf377a0625aff Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Sat, 14 Dec 2024 02:02:08 +0000
Subject: gentoo auto-resync : 14:12:2024 - 02:02:07

---
 dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild |  56 --------------------------
 dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild |  70 +++++++++++++++++++++++++++++++++
 dev-ada/AdaSAT/Manifest                |   2 +-
 dev-ada/Manifest.gz                    | Bin 4906 -> 4905 bytes
 4 files changed, 71 insertions(+), 57 deletions(-)
 delete mode 100644 dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild
 create mode 100644 dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild

(limited to 'dev-ada')

diff --git a/dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild b/dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild
deleted file mode 100644
index 669ae61fd48f..000000000000
--- a/dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# Copyright 2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-ADA_COMPAT=( gcc_12 gcc_13 )
-
-inherit ada multiprocessing
-
-DESCRIPTION="Implementation of a DPLL-based SAT solver in Ada"
-HOMEPAGE="https://github.com/AdaCore/AdaSAT"
-SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
-	-> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="+shared static-libs static-pic test"
-
-DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
-BDEPEND="test? ( dev-ada/e3-testsuite )"
-
-REQUIRED_USE="${ADA_REQUIRED_USE}
-	|| ( shared static-libs static-pic )
-	test? ( static-libs )"
-RESTRICT="!test? ( test )"
-
-src_compile() {
-	build () {
-		gprbuild -P adasat.gpr -p -v -j$(makeopts_jobs) \
-			--relocate-build-tree="." -XLIBRARY_TYPE=$1 \
-			-XBUILD_MODE=dev -cargs:Ada ${ADAFLAGS} || die
-	}
-
-	use shared && build relocatable
-	use static-libs && build static
-	use static-pic && build static-pic
-}
-
-src_install() {
-	build () {
-		gprinstall -P adasat.gpr -p -f -XLIBRARY_TYPE=$1 -XBUILD_MODE=dev -v \
-			--relocate-build-tree="." --prefix="${ED}"/usr --build-name=$1 \
-			--build-var=LIBRARY_TYPE || die
-	}
-	use shared && build relocatable
-	use static-libs && build static
-	use static-pic && build static-pic
-
-	rm -r "${D}"/usr/share/gpr/manifests || die
-	einstalldocs
-}
-
-src_test() {
-	export ADA_PROJECT_PATH="${S}"
-	python3 testsuite/testsuite.py || die
-}
diff --git a/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild b/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
new file mode 100644
index 000000000000..14a6cf4291b9
--- /dev/null
+++ b/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
@@ -0,0 +1,70 @@
+# Copyright 2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+ADA_COMPAT=( gcc_12 gcc_13 )
+PYTHON_COMPAT=( python3_{10..12} )
+
+inherit ada python-any-r1 multiprocessing
+
+DESCRIPTION="Implementation of a DPLL-based SAT solver in Ada"
+HOMEPAGE="https://github.com/AdaCore/AdaSAT"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+	-> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="+shared static-libs static-pic test"
+
+DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
+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) \
+			--relocate-build-tree="." -XLIBRARY_TYPE=$1 \
+			-XBUILD_MODE=dev -cargs:Ada ${ADAFLAGS} || die
+	}
+
+	use shared && build relocatable
+	use static-libs && build static
+	use static-pic && build static-pic
+}
+
+src_install() {
+	build () {
+		gprinstall -P adasat.gpr -p -f -XLIBRARY_TYPE=$1 -XBUILD_MODE=dev -v \
+			--relocate-build-tree="." --prefix="${ED}"/usr --build-name=$1 \
+			--build-var=LIBRARY_TYPE || die
+	}
+	use shared && build relocatable
+	use static-libs && build static
+	use static-pic && build static-pic
+
+	rm -r "${D}"/usr/share/gpr/manifests || die
+	einstalldocs
+}
+
+src_test() {
+	export ADA_PROJECT_PATH="${S}"
+	${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
index f88cae25dc91..2ff595fe4609 100644
Binary files a/dev-ada/Manifest.gz and b/dev-ada/Manifest.gz differ
-- 
cgit v1.2.3