gentoo auto-resync : 15:03:2024 - 12:47:43

3 files changed, 79 insertions, 0 deletions

diff --git a/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild b/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
new file mode 100644
index 000000000000..747f1d798b08
--- /dev/null
+++ b/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
@@ -0,0 +1,54 @@
+# 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"
+IUSE="+shared static-libs static-pic test"
+
+DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
+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/Manifest b/dev-ada/AdaSAT/Manifest
new file mode 100644
index 000000000000..88ee4ccfa66c
--- /dev/null
+++ b/dev-ada/AdaSAT/Manifest
@@ -0,0 +1,3 @@
+DIST AdaSAT-24.0.0.tar.gz 30088 BLAKE2B 6375c84d54dab73e1c56a137ac156d327e13b1e885d7a102ea62f841fb4d70fb0bb612c4f632dc78facff2544276601e59c75680d7d182175a16fb20e7b4731b SHA512 313310537c5d6a024e6acae4e2d6fba29b4ab6221a0d793cd9af6b7fec16be8ea59551566781eec676c544066f5721a03e61a340e0a45e3f1af51992fda096c6
+EBUILD AdaSAT-24.0.0.ebuild 1369 BLAKE2B b64a2b1e68fcf2e1a232a8082f745737148bf8004644a39b21e59567bc9465c9c92e94cf8f57d3f227d7b33f43042afd11e4f9a24e7dcfd9fea02e9073d14b99 SHA512 ae2193874addb7970749b761a6874605473f3d9623ad8dcf374ee24322a4a463feada6d8936c5ac9d4d7939301a6a1cbb638460e762cfb75b96d51711892334a
+MISC metadata.xml 680 BLAKE2B 7d14796f92fad7d885bfa8e9188bd2dd6f243cce52227df9ca6cf3577fe4d50e21a40ffaccf56508d928589bb5f436d2a73c078aab7e86589e9b94ee709dba3d SHA512 9e03c8d3737d0fc60bbb22d0cd4cabba504adeb1d6eead159748a74cc69cbf8bf83b59e9c04924e612e79490482728dd40ecaa96bd97044074bb63a5ade90e68
diff --git a/dev-ada/AdaSAT/metadata.xml b/dev-ada/AdaSAT/metadata.xml
new file mode 100644
index 000000000000..fd081113294e
--- /dev/null
+++ b/dev-ada/AdaSAT/metadata.xml
@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="project">
+		<email>ada@gentoo.org</email>
+	</maintainer>
+	<use>
+		<flag name="shared">Build shared library</flag>
+		<flag name="static-pic">Build static library with pic code</flag>
+	</use>
+	<longdescription lang="en">
+		Implementation of a DPLL-based SAT solver in Ada. Main features:
+
+			Conflict analysis and backjumping
+			Two-watched literals scheme
+			Built-in support for At-Most-One constraints
+			Custom theories
+	</longdescription>
+	<upstream>
+		<remote-id type="github">AdaCore/AdaSAT</remote-id>
+	</upstream>
+</pkgmetadata>