dev-ada/adareducer: new package, add 0.20250402

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

dev-ada/adareducer/Manifest

@@ -0,0 +1 @@
+DIST adareducer-0.20250402.tar.gz 32724 BLAKE2B b2b2ea8c14ba7cc1f2cecc7ee1cda1cf5b101a2491fac9b4352289873a1347084b0d5a9b99948b43047480faf2b4b56b3e280f4c66a1de9e60ca6b417fe64b99 SHA512 5cfdff897484e1f8220a6b15a3fdcc52b57d7fcb3a046f9f6c9aa645a220d76da62e654ae6e7f681608d4e6707bc0ca6eea343ba80093614cfa501bb05705d0e

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
+}

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>ada@gentoo.org</email>
+	</maintainer>
+	<upstream>
+		<remote-id type="github">AdaCore/adareducer</remote-id>
+	</upstream>
+</pkgmetadata>

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 <pinkbyte@gentoo.org> (2024-03-05)
 # games-strategy/seven-kingdoms does not build on musl,