mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-06-07 21:55:04 +02:00
38 lines
701 B
Bash
38 lines
701 B
Bash
# Copyright 1999-2025 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=8
|
|
|
|
ADA_COMPAT=( gcc_{12..15} )
|
|
|
|
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 ~arm64 x86"
|
|
|
|
REQUIRED_USE="${ADA_REQUIRED_USE}"
|
|
PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
|
|
|
|
src_prepare() {
|
|
default
|
|
|
|
sed -i \
|
|
-e "s:@VER@:${GCCPV}: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
|
|
}
|