gentoo auto-resync : 26:01:2025 - 22:42:38

6 files changed, 133 insertions, 1 deletions

diff --git a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
index 9f1f0f057fda..0b1aeed92d24 100644
--- a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
+++ b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
@@ -36,6 +36,7 @@ python_check_deps() {
 
 pkg_setup() {
 	use test && python-any-r1_pkg_setup
+	ada_pkg_setup
 }
 
 src_compile() {
diff --git a/dev-ada/AdaSAT/Manifest b/dev-ada/AdaSAT/Manifest
index 5c39c77b45d6..2f0e4f17018a 100644
--- a/dev-ada/AdaSAT/Manifest
+++ b/dev-ada/AdaSAT/Manifest
@@ -1,5 +1,5 @@
 DIST AdaSAT-24.0.0.tar.gz 30088 BLAKE2B 6375c84d54dab73e1c56a137ac156d327e13b1e885d7a102ea62f841fb4d70fb0bb612c4f632dc78facff2544276601e59c75680d7d182175a16fb20e7b4731b SHA512 313310537c5d6a024e6acae4e2d6fba29b4ab6221a0d793cd9af6b7fec16be8ea59551566781eec676c544066f5721a03e61a340e0a45e3f1af51992fda096c6
 DIST AdaSAT-25.0.0.tar.gz 30707 BLAKE2B 7256fa3db93273657d52b7b895e51efa95c102753efbe498d283ef33a6bed067ddf2975e72a357483aa67b5ce7d8073d4a192e9a4741ab204ce159ec0f57b529 SHA512 7781a683c5aef9efa9a6b57e82070184c02d734fcf448aa5aa79d9aaa3b40d181d87d7487d9c204f7dcd584a3d2dc1c9ebc027e82b2532c3418c25a2395fd9af
 EBUILD AdaSAT-24.0.0-r2.ebuild 1676 BLAKE2B e62cb8c16345f9490890bf6a272bd4c1b1019b09905bfd4c3f3f72f1fab795fab742a35ec496df04fe206d00e38507ac4b59ddc12d6fd9d89cda48425e94a13b SHA512 dd90b24e4b034617756905216a0b03427422b2dc269e44ce91064e720c7fd2f5e4bcc21206adfdf3c7640dbccd2eba02ef33373b47519ffca6c9360edcd325e0
-EBUILD AdaSAT-25.0.0.ebuild 1697 BLAKE2B 8cdb2c13ad9d4f4053b32b6d45ee6ea2d5925f4cea3a0ba826603ca23f8e9db4873203d1800a7c4c22e7dd3013c2690dd8a6cceab907e0ddd96c83e28003b3e8 SHA512 577a71c244341a1df4f1220df9b8fb72e2befe28d6cf519d6d7a0d6ba10a17ab7f84a7d173faa4e3bb86b9a816a144d8c3c163b2499dfe47ac050814f752f398
+EBUILD AdaSAT-25.0.0.ebuild 1712 BLAKE2B 17fbd56cc192d2000c7cae15e7ecece996106735885add49125b2d07ed0f8c1944635e7ae781967d320b1846a19e0c8f6774cc2ac65873bfb3edaa0a6054373b SHA512 91e20055c487bc6530d95bd6b1db8b44c1f2e1712b7e35745e0e5b1074704f4c1df86aab11be5539126a45d35ad2be77384cda505d6cd9c726048039faab0234
 MISC metadata.xml 680 BLAKE2B 7d14796f92fad7d885bfa8e9188bd2dd6f243cce52227df9ca6cf3577fe4d50e21a40ffaccf56508d928589bb5f436d2a73c078aab7e86589e9b94ee709dba3d SHA512 9e03c8d3737d0fc60bbb22d0cd4cabba504adeb1d6eead159748a74cc69cbf8bf83b59e9c04924e612e79490482728dd40ecaa96bd97044074bb63a5ade90e68
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz
index f348e34bdc06..40a1886ea08a 100644
--- a/dev-ada/Manifest.gz
+++ b/dev-ada/Manifest.gz
diff --git a/dev-ada/prettier-ada/Manifest b/dev-ada/prettier-ada/Manifest
new file mode 100644
index 000000000000..a4705f5c082b
--- /dev/null
+++ b/dev-ada/prettier-ada/Manifest
@@ -0,0 +1,3 @@
+DIST prettier-ada-25.0.0.tar.gz 60082 BLAKE2B 7fa18f3557b0f4e031d24421b7e5876477ed9468886e8d74165c7eae3f4ecdba8dfa7efa6ac298b3065b23eff5f531c4194107be6d36aa4153670350f19f3fc0 SHA512 5e31bedf76f6051a1e40a298953d9aa269f24d374b619fba1de934d4b85efc358532d9d695084b41607ae7d8d87bf91f27a151760c1f010782b2af3f64783c6a
+EBUILD prettier-ada-25.0.0.ebuild 2406 BLAKE2B 51bd0d993f880bbf8bf0852a0e9a9f1e14183c0ab0ac0a859a15dd630f5c34486bf273722b2d0cb201e857dd931c8965541f86240858d14053e6c28fe7aa3fd9 SHA512 0218237c823432c457dced032086fe70af41bd8e47f58b19e4e5dc3dc227af8732a10543f5366a4f7a1515a8ef496df8085adae24f984a40f998bb6356e89488
+MISC metadata.xml 878 BLAKE2B 49c20a3a14f92c984d6ab5ec4829b24dfa92be98b2d1335950492781fdcceae3f1b25ee78ddd61b69a8a1ddd83e53e4e5b97fab3f79ee79720c7b4045f03fbb8 SHA512 e24b9b8e1ce2bc85b01ad87fca592c5010156c0f33be25bfff594e3000e9baa86e5df9a87967a1d98986ca257864a91a989573fe8248f735e3b0900b5d166de8
diff --git a/dev-ada/prettier-ada/metadata.xml b/dev-ada/prettier-ada/metadata.xml
new file mode 100644
index 000000000000..7f40891ad6cd
--- /dev/null
+++ b/dev-ada/prettier-ada/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">
+		This project is a port of the Prettier formatter to the Ada programming
+		language. The aim of this project is to provide a tool that allows Ada
+		programmers to create formatters for any language of their choosing.
+		Please note that only the core generic formatting algorithm and its
+		dependencies were ported. The formatters for all supported languages
+		are not included in this project.
+	</longdescription>
+	<upstream>
+		<remote-id type="github">AdaCore/prettier-ada</remote-id>
+	</upstream>
+</pkgmetadata>
diff --git a/dev-ada/prettier-ada/prettier-ada-25.0.0.ebuild b/dev-ada/prettier-ada/prettier-ada-25.0.0.ebuild
new file mode 100644
index 000000000000..9083b66bfb4c
--- /dev/null
+++ b/dev-ada/prettier-ada/prettier-ada-25.0.0.ebuild
@@ -0,0 +1,106 @@
+# Copyright 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="Port of the Prettier formatter to the Ada programming language"
+HOMEPAGE="https://github.com/AdaCore/prettier-ada"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+	-> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm64"
+IUSE="+shared static-libs static-pic test"
+
+RDEPEND="${ADA_DEPS}
+	dev-ada/VSS:${SLOT}[${ADA_USEDEP},shared?,static-libs?,static-pic?]
+	dev-ada/gnatcoll-core:${SLOT}[${ADA_USEDEP},shared?,static-libs?,static-pic?]"
+DEPEND="${RDEPEND}
+	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
+	ada_pkg_setup
+}
+
+src_compile() {
+	build() {
+		gprbuild \
+			-v \
+			-k \
+			-XLIBRARY_TYPE=$1 \
+			-XPRETTIER_ADA_LIBRARY_TYPE=$1 \
+			-P prettier_ada.gpr \
+			-p \
+			-j$(makeopts_jobs) \
+			-largs ${LDFLAGS} \
+			-cargs ${ADAFLAGS} \
+			|| die "gprbuild failed"
+	}
+	use shared && build relocatable
+	use static-libs && build static
+	use static-pic && build static-pic
+}
+
+src_install() {
+	build() {
+		gprinstall \
+			-XPRETTIER_ADA_LIBRARY_TYPE=$1 \
+			-XLIBRARY_TYPE=$1 \
+			--prefix="${D}"/usr \
+			--install-name=prettier_ada \
+			--build-name=$1 \
+			--build-var=LIBRARY_TYPE \
+			-P prettier_ada.gpr -p -f \
+			|| die "gprinstall failed"
+
+	}
+	use shared && build relocatable
+	use static-libs && build static
+	use static-pic && build static-pic
+	einstalldocs
+}
+
+src_test() {
+	gprbuild \
+		-v \
+		-k \
+		-XLIBRARY_TYPE=static \
+		-XPRETTIER_ADA_LIBRARY_TYPE=static \
+		-P testsuite/test_programs/test_programs.gpr \
+		-p \
+		-j$(makeopts_jobs) \
+		|| die
+	gprinstall \
+		-XLIBRARY_TYPE=static \
+		-XPRETTIER_ADA_LIBRARY_TYPE=static \
+		--prefix="${TMP}"/usr \
+		--install-name=test_programs \
+		--mode=usage \
+		-P testsuite/test_programs/test_programs.gpr \
+		-p \
+		-f \
+		|| die
+	PATH=${PATH}:"${TMP}"/usr/bin \
+	${EPYTHON} testsuite/testsuite.py || die
+}