Merge updates from master

This commit is contained in:
Repository mirror & CI
2025-12-09 18:45:49 +00:00
5 changed files with 61 additions and 1 deletions

View File

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

View File

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

View File

@@ -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>

View File

@@ -21,7 +21,7 @@ SRC_URI="
LICENSE="Apache-2.0"
SLOT="0"
KEYWORDS="~alpha amd64 arm arm64 ~hppa ~loong ~mips ppc ~ppc64 ~riscv ~s390 ~sparc x86 ~x64-macos"
KEYWORDS="~alpha amd64 arm arm64 ~hppa ~loong ~mips ppc ppc64 ~riscv ~s390 ~sparc x86 ~x64-macos"
IUSE="+native-extensions"
BDEPEND="

View File

@@ -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,