1 files changed, 70 insertions, 0 deletions
diff --git a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
new file mode 100644
index 000000000000..3c7d9c9889b6
--- /dev/null
+++ b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
@@ -0,0 +1,70 @@
+# Copyright 2024-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+ADA_COMPAT=( gcc_12 gcc_13 gcc_14 )
+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
+}