gentoo auto-resync : 17:02:2025 - 00:13:57

7 files changed, 117 insertions, 3 deletions

diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz
index f740b87b3114..6181306aa8e1 100644
--- a/dev-ada/Manifest.gz
+++ b/dev-ada/Manifest.gz
diff --git a/dev-ada/gnatformat/Manifest b/dev-ada/gnatformat/Manifest
new file mode 100644
index 000000000000..f7cf034d6b24
--- /dev/null
+++ b/dev-ada/gnatformat/Manifest
@@ -0,0 +1,3 @@
+DIST gnatformat-25.0.0.tar.gz 114710 BLAKE2B aec30d9c4555092294dfd0be9d1f03fb39f051d0b584453635e053071f3ee8e3aebc48caacb81b59b202a6a0491bd62e5b7adff7e929e1c052d1198c5af4451f SHA512 338fb17c6bfb14791fe9029d5a1cc83f72dab982b602f3a67f03d2a94bd3b2d2b19fb62b39b9c6da5a6f7ebc4eb6470f75722cf110bb6623fb1d5b25e18a29b7
+EBUILD gnatformat-25.0.0.ebuild 2774 BLAKE2B 9d1df3209c92e2e32f8a5e09f6fcbcea71c035a7be1cfbae1b97cc4fe4deba176d5ddc618351b2027430e4a55676ac0626eadc183975982591ef893b3a292a7f SHA512 feef6f7219fa55cb6c21ea79cf29139d4cc15ef02903192676a19f37b1e3a74f6120dd9ce0b77ad3c6f401a109d099878000907a2f86b641e5361b1e5f22127c
+MISC metadata.xml 382 BLAKE2B 1fb9ceca04109c460f3e9b80790f8ee26ab76cadb87944887f2679c834e32729b62ba3fbd0a47542c748e612641becde688e1ec3313813bf42e96420ca8a6e76 SHA512 0670bc70afa823a343b69e86749b2cc365a9eba85f36d1941cae04a6b5d9c8087cb2612caf5a75f8cc003ee4856bc706597c2182e463bd5cd70a8d0296ca22af
diff --git a/dev-ada/gnatformat/gnatformat-25.0.0.ebuild b/dev-ada/gnatformat/gnatformat-25.0.0.ebuild
new file mode 100644
index 000000000000..12081a49236c
--- /dev/null
+++ b/dev-ada/gnatformat/gnatformat-25.0.0.ebuild
@@ -0,0 +1,88 @@
+# Copyright 2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+ADA_COMPAT=( gcc_14 )
+PYTHON_COMPAT=( python3_{11..12} )
+inherit ada python-any-r1 multiprocessing
+
+DESCRIPTION="Opinionated code formatter for the Ada language"
+HOMEPAGE="https://github.com/AdaCore/gnatformat"
+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 ~arm64"
+IUSE="doc static-pic static-libs test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="${ADA_DEPS}
+	dev-ada/AdaSAT:=[${ADA_USEDEP},shared,static-libs?,static-pic?]
+	dev-ada/libadalang:=[${ADA_USEDEP},static-libs?,static-pic?]"
+DEPEND="${RDEPEND}"
+BDEPEND="
+	dev-ada/gprbuild[${ADA_USEDEP}]
+	$(python_gen_any_dep '
+		test? ( dev-ada/e3-testsuite[${PYTHON_USEDEP}] )
+		doc? (
+			dev-python/sphinx[${PYTHON_USEDEP}]
+			dev-python/sphinx-rtd-theme[${PYTHON_USEDEP}]
+		)
+	')"
+
+pkg_setup() {
+	use test && python-any-r1_pkg_setup
+	ada_pkg_setup
+}
+
+src_compile() {
+	build () {
+		gprbuild -P gnat/gnatformat.gpr -XGNATFORMAT_LIBRARY_TYPE=$1 \
+			-XLIBRARY_TYPE=$1 -XGNATFORMAT_BUILD_MODE=dev -v -k -p \
+			-j$(makeopts_jobs) -largs ${LDFLAGS} -cargs ${ADAFLAGS} \
+			|| die "gprbuild failed"
+	}
+	build relocatable
+	use static-libs && build static
+	use static-pic  && build static-pic
+	gprbuild -P gnat/gnatformat_driver.gpr \
+		-XGNATFORMAT_LIBRARY_TYPE=relocatable -XLIBRARY_TYPE=relocatable \
+		-XGNATFORMAT_BUILD_MODE=dev -v -k -p -j$(makeopts_jobs) \
+		-largs ${LDFLAGS} -cargs ${ADAFLAGS} || die "gprbuild failed"
+	if use test; then
+		GPR_PROJECT_PATH=gnat \
+			gprbuild -P testsuite/test_programs/partial_gnatformat.gpr \
+			-XGNATFORMAT_LIBRARY_TYPE=relocatable -XLIBRARY_TYPE=relocatable \
+			-XGNATFORMAT_BUILD_MODE=dev -v -k -p -j$(makeopts_jobs) \
+			-largs ${LDFLAGS} -cargs ${ADAFLAGS} || die "gprbuild failed"
+	fi
+	use doc && emake -C user_manual html
+}
+
+src_test() {
+	PATH="${S}/testsuite/test_programs/bin/:${S}/bin:${PATH}" \
+		${EPYTHON} testsuite/testsuite.py || die
+}
+
+src_install() {
+	build () {
+		gprinstall -v -XGNATFORMAT_LIBRARY_TYPE=$1 \
+			-XLIBRARY_TYPE=$1 -XGNATFORMAT_BUILD_MODE=dev \
+			--install-name=gnatformat --prefix="${D}"/usr \
+			--sources-subdir=include/gnatformat \
+			--build-name=$1 --build-var=LIBRARY_TYPE \
+			-P gnat/gnatformat.gpr -p -f || die "gprinstall failed"
+	}
+	build relocatable
+	use static-libs && build static
+	use static-pic  && build static-pic
+	gprinstall -v -XGNATFORMAT_LIBRARY_TYPE=relocatable \
+		-XLIBRARY_TYPE=relocatable -XBUILD_MODE=dev \
+		--install-name=gnatformat --prefix="${D}"/usr \
+		-P gnat/gnatformat_driver.gpr -p -f || die "gprinstall failed"
+	use doc && HTML_DOCS=( user_manual/_build/html/* )
+	einstalldocs
+	rm -r "${D}"/usr/share/gpr/manifests
+}
diff --git a/dev-ada/gnatformat/metadata.xml b/dev-ada/gnatformat/metadata.xml
new file mode 100644
index 000000000000..c47aac20367f
--- /dev/null
+++ b/dev-ada/gnatformat/metadata.xml
@@ -0,0 +1,13 @@
+<?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="static-pic">Build static library with pic code</flag>
+	</use>
+	<upstream>
+		<remote-id type="github">AdaCore/gnatformat</remote-id>
+	</upstream>
+</pkgmetadata>
diff --git a/dev-ada/gprbuild/Manifest b/dev-ada/gprbuild/Manifest
index c82dff35bd61..8760194aa193 100644
--- a/dev-ada/gprbuild/Manifest
+++ b/dev-ada/gprbuild/Manifest
@@ -3,6 +3,6 @@ DIST gprbuild-24.0.0.tar.gz 959615 BLAKE2B c432b1f13a1aecb8f664aeb06694d86123268
 DIST gprbuild-25.0.0.tar.gz 940774 BLAKE2B b2a2895db767b55e459351ea6fbeb91a771b6e39672217d53fb2b4aeea4f42aa093760448da715ffb0b7da54c50b4b55f0034910ebfdfc52a8cde7dad7533ef0 SHA512 eb2d7072194323cae90acd0c8683eeb6a806ef6ff2ed4d3496e8b94c5b63dae8a428ec428a3610b380df7e122d7a00d9e9634ef06b5369b165536c99209602ce
 DIST xmlada-24.0.0.tar.gz 1053363 BLAKE2B 628a1d3645c58cc3f8f5140c7cfb16adef02f6ccc72b8e9410819eaf67e0160bdcf81a8e33065ec52f54cb12309d857a3d82e532990a0fd17c249c04334ab10f SHA512 4e6773a5fdf9b6ebb5afca913d77aba9f697768f28ef9b23b9277aa4ea4ce09de4e53655dd5559e2326ff847327adb53fa6b776775aa923100a2624df415c97d
 DIST xmlada-25.0.0.tar.gz 1082553 BLAKE2B daddd7b1d6cd8c38ff3e9ecdc1d0864e1eca88128121635e8d1a8133f73285ced08478e732a0b7bb02cc00e240887d20a1a16048991450025290fd96ad5cb09f SHA512 c57db78e3afd20862c3275d3d0874ada1748e98df06a76841cb3dca3686b29c7693835a591ca5789dca2d3d6ba9677c9082df94857e180e0758a5b77fafc40c0
-EBUILD gprbuild-24.0.0-r2.ebuild 1990 BLAKE2B dbc02977f2830d7aa874ef0988316cb3774043c3fd9167ae79ced38384891889671d9db2ac20eea1d1b97489bebc75e91092185a82a446efef81d90bd8ff120c SHA512 a9c5f17c78c80788df815231032a165deb5921c67d34b48d3c50d7090f246a4d68e920ef056411c90b8dad38bca251cc513230372e1aef40ee728fe4dc5e2dc4
-EBUILD gprbuild-25.0.0-r2.ebuild 2188 BLAKE2B 6bc927f22442d0c60b20cfb40dbcef3f37c863b300f357e5ec6ac780a058f45a754edd4867516b62f4c31dd09bb6a3ad9d610f9032df894b9e9d834ed3e68087 SHA512 bedd5ee4b4510a16c468a5419c229e43e087a8c9b71c1e0aa23705ccf340f6f7785f4b0cb6b6170171995c6e207d9e9db668958c8fb2382dd5a5e863ff4b2d91
+EBUILD gprbuild-24.0.0-r3.ebuild 2108 BLAKE2B d159ee3219cf8892f1506f24b03a0610ecd1a665f8479c2c6ace46fe5bc4d7f0128d68b64eef8df4e10366c8f8336e4201bbe733e3a687e22841f51af37e3377 SHA512 556b42c1732729f52ce6ab43903904cc6290ed8b81ff9c514f1359b53ebaf456d98053e733e0063ecd3853a381f99a087fa75d6580f71aa74adf3062dca04748
+EBUILD gprbuild-25.0.0-r3.ebuild 2306 BLAKE2B 5053507273bbc43fcca1325a639408db67f863d2e4f1ec85399141847fbac3d4a5fb4934a43636eaf74efc57c95953575d9a24d4d17d7aeb654191951cd1376f SHA512 942bc88143d093b9dc92c3e1d92e4ec912c29cc18ccf3a6c8ec9797a69c4979a83f0e3b8b99fcf7f49d790516878e9653c8d378ccf08d7e6a7ae9d0292a919b4
 MISC metadata.xml 888 BLAKE2B 635ae939acfcaa26b0ba80341ed90cb02d8c5a2cfa50ca78bbcf19bd3081cf434a51ef1b05547bc80f9174db1aabfad1bde6270c3c08ea4c119684a4af7d5e4e SHA512 65b9e30e2b0d5694fe31c244eeca739327274beda743330edb8f85f050a7f9c809cfb3a115b4f9349f282fc39de36f934354db864669f515da746cd9551b5337
diff --git a/dev-ada/gprbuild/gprbuild-24.0.0-r2.ebuild b/dev-ada/gprbuild/gprbuild-24.0.0-r3.ebuild
index 1813eaa4b76e..ccf43c9a6a3a 100644
--- a/dev-ada/gprbuild/gprbuild-24.0.0-r2.ebuild
+++ b/dev-ada/gprbuild/gprbuild-24.0.0-r3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2024 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -35,6 +35,11 @@ src_prepare() {
 		-e "s:@GNATBIND@:${GNATBIND}:g" \
 		src/gprlib.adb \
 		|| die
+	sed -i \
+		-e "s:18.0w:$(ver_cut 1-2):" \
+		-e "/Build_Type :/s:Gnatpro:FSF:" \
+		gpr/src/gpr-version.ads \
+		|| die
 	cd gpr/src || die
 	ln -s gpr-util-put_resource_usage__unix.adb \
 		gpr-util-put_resource_usage.adb
diff --git a/dev-ada/gprbuild/gprbuild-25.0.0-r2.ebuild b/dev-ada/gprbuild/gprbuild-25.0.0-r3.ebuild
index e4b4ece9db50..21151fa50d5f 100644
--- a/dev-ada/gprbuild/gprbuild-25.0.0-r2.ebuild
+++ b/dev-ada/gprbuild/gprbuild-25.0.0-r3.ebuild
@@ -52,6 +52,11 @@ src_prepare() {
 		-e "s|\"gnatbind\"|\"gnatbind-${GCC_PV}\"|" \
 		src/gprbind.adb \
 		|| die
+	sed -i \
+		-e "s:18.0w:$(ver_cut 1-2):" \
+		-e "/Build_Type :/s:Gnatpro:FSF:" \
+		gpr/src/gpr-version.ads \
+		|| die
 	cd gpr/src || die
 	ln -s gpr-util-put_resource_usage__unix.adb \
 		gpr-util-put_resource_usage.adb