commit: cf3bcb9da9103b1e7ad41a6ac7b94563d833e329
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Dec 9 18:31:05 2025 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Dec 9 18:31:59 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cf3bcb9d
dev-ada/adareducer: new package, add 0.20250402
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ada/adareducer/Manifest | 1 +
dev-ada/adareducer/adareducer-0.20250402.ebuild | 48 +++++++++++++++++++++++++
dev-ada/adareducer/metadata.xml | 10 ++++++
profiles/features/musl/package.mask | 1 +
4 files changed, 60 insertions(+)
diff --git a/dev-ada/adareducer/Manifest b/dev-ada/adareducer/Manifest
new file mode 100644
index 000000000000..757b15abaa17
--- /dev/null
+++ b/dev-ada/adareducer/Manifest
@@ -0,0 +1 @@
+DIST adareducer-0.20250402.tar.gz 32724 BLAKE2B
b2b2ea8c14ba7cc1f2cecc7ee1cda1cf5b101a2491fac9b4352289873a1347084b0d5a9b99948b43047480faf2b4b56b3e280f4c66a1de9e60ca6b417fe64b99
SHA512
5cfdff897484e1f8220a6b15a3fdcc52b57d7fcb3a046f9f6c9aa645a220d76da62e654ae6e7f681608d4e6707bc0ca6eea343ba80093614cfa501bb05705d0e
diff --git a/dev-ada/adareducer/adareducer-0.20250402.ebuild
b/dev-ada/adareducer/adareducer-0.20250402.ebuild
new file mode 100644
index 000000000000..1f87ebbcc8cf
--- /dev/null
+++ b/dev-ada/adareducer/adareducer-0.20250402.ebuild
@@ -0,0 +1,48 @@
+# Copyright 2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+PYTHON_COMPAT=( python3_{11..13} )
+DISTUTILS_USE_PEP517=setuptools
+DISTUTILS_SINGLE_IMPL=1
+inherit distutils-r1
+
+CommitId=eb523bc674ac0df1c1e41c1871ffece9c8468214
+DESCRIPTION="Ada Reducer"
+HOMEPAGE="https://github.com/AdaCore/adareducer";
+SRC_URI="https://github.com/AdaCore/${PN}/archive/${CommitId}.tar.gz
+ -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${CommitId}
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="dev-ada/libadalang[${PYTHON_SINGLE_USEDEP}"]
+DEPEND="${RDEPEND}"
+BDEPEND="test? ( dev-ada/e3-testsuite )"
+
+src_prepare() {
+ cd ada_reducer
+ mv types.py typesA.py || die
+ sed -i \
+ -e "s:ada_reducer.types:ada_reducer.typesA:" \
+ -e "s:\\o/:\\\\o/:" \
+ engine.py \
+ delete_empty_units.py \
+ hollow_body.py \
+ remove_statement.py \
+ remove_subprograms.py \
+ remove_generic_nodes.py \
+ remove_trivias.py \
+ remove_imports.py \
+ || die
+ cd -
+ distutils-r1_src_prepare
+}
+
+src_test() {
+ ${EPYTHON} testsuite/testsuite.py || die
+}
diff --git a/dev-ada/adareducer/metadata.xml b/dev-ada/adareducer/metadata.xml
new file mode 100644
index 000000000000..baea33497a3c
--- /dev/null
+++ b/dev-ada/adareducer/metadata.xml
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";>
+<pkgmetadata>
+ <maintainer type="project">
+ <email>[email protected]</email>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">AdaCore/adareducer</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/profiles/features/musl/package.mask
b/profiles/features/musl/package.mask
index 1f2334a9e0e9..b06684a7a1e0 100644
--- a/profiles/features/musl/package.mask
+++ b/profiles/features/musl/package.mask
@@ -155,6 +155,7 @@ dev-ada/AdaSAT
dev-ada/lal-refactor
dev-ada/prettier-ada
dev-ada/gnatformat
+dev-ada/adareducer
# Sergey Popov <[email protected]> (2024-03-05)
# games-strategy/seven-kingdoms does not build on musl,
