summaryrefslogtreecommitdiff
path: root/dev-ada/gprconfig_kb/gprconfig_kb-24.0.0.ebuild
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ada/gprconfig_kb/gprconfig_kb-24.0.0.ebuild')
-rw-r--r--dev-ada/gprconfig_kb/gprconfig_kb-24.0.0.ebuild38
1 files changed, 38 insertions, 0 deletions
diff --git a/dev-ada/gprconfig_kb/gprconfig_kb-24.0.0.ebuild b/dev-ada/gprconfig_kb/gprconfig_kb-24.0.0.ebuild
new file mode 100644
index 000000000000..c7156f1bd51c
--- /dev/null
+++ b/dev-ada/gprconfig_kb/gprconfig_kb-24.0.0.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+ADA_COMPAT=( gnat_2021 gcc_12 gcc_13 )
+
+inherit ada
+
+DESCRIPTION="GPR configuration knowledge base"
+HOMEPAGE="https://www.adacore.com/"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+REQUIRED_USE="${ADA_REQUIRED_USE}"
+PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
+
+src_prepare() {
+ default
+
+ sed -i \
+ -e "s:@VER@:${GCC_PV}:g" \
+ db/compilers.xml \
+ db/gnat.xml \
+ db/c.xml \
+ db/linker.xml \
+ || die
+}
+
+src_install() {
+ insinto /usr/share/gprconfig
+ doins db/*.xml
+ doins db/*.ent
+ einstalldocs
+}