diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-11-06 10:15:54 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-11-06 10:15:54 +0000 |
| commit | eb7aa327b218d640c8bda63ba0fd1ace2bd2d17b (patch) | |
| tree | bbe526e2a2c1fd2fd7ee20d62b99c7ac30476aff /dev-ada/gprconfig_kb | |
| parent | 6471b382a951b256ffa1b8ea3e6e7d7f5b189281 (diff) | |
gentoo auto-resync : 06:11:2023 - 10:15:54
Diffstat (limited to 'dev-ada/gprconfig_kb')
| -rw-r--r-- | dev-ada/gprconfig_kb/Manifest | 1 | ||||
| -rw-r--r-- | dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r4.ebuild | 39 |
2 files changed, 40 insertions, 0 deletions
diff --git a/dev-ada/gprconfig_kb/Manifest b/dev-ada/gprconfig_kb/Manifest index c1b90fc3fd25..e97a8104e5ad 100644 --- a/dev-ada/gprconfig_kb/Manifest +++ b/dev-ada/gprconfig_kb/Manifest @@ -1,4 +1,5 @@ AUX gprconfig_kb-23.0.0-gentoo.patch 5997 BLAKE2B ab522e5510b9a8cea9d0ad6bf9c9b27d74d00b8ab330f32fdb301f4441279a193ef8d07c8b2859dd739613baf32f0ffbeeb80b9b0e0d3370d1b6a87248febe67 SHA512 13c47f87f5c5dcee460e4380cc02cfdc849ee0a28092aa6aacd4371c7d7362099f2ef722a084ef9bb4f3fdc52d58cecf428e7062533ffd6c9558e06bf52e18f8 DIST gprconfig_kb-23.0.0.tar.gz 42132 BLAKE2B ed39c8f199e0cd31dbd3b587bcf589d62befc29ab907c54d9bcbc08887239a5ce12bc22428631e32d8c69c0c6bdd01e4591d050f480ea461f4d8af0f1cc05288 SHA512 505b632ff744c8fbb75b72d0f406a88a2c675d5afead9f0f8ca282ae79ca4e38c174dfe424c4c4a55835a9ebdbc6d0a2f329592bd6dfb87d5493e8473a0b2376 EBUILD gprconfig_kb-23.0.0-r3.ebuild 707 BLAKE2B 736cdc1cb58eaf0aa3309a39916425a4cc811a7723aded9a0c1255b500ee1748e0d7609c7758f5fc34c22b17cb0979545701169654fa8b58936c364fcdacab17 SHA512 0e9ad68273ab2262742e1e9edb0a35e071f9941e333df218178fa8405ca91e50c2b7c3d0a030b7b73681e503d37f655ac2e4f260f81a37248f827069aba4d6fe +EBUILD gprconfig_kb-23.0.0-r4.ebuild 716 BLAKE2B 5ce2beed26b9cbcfea8e8727585ad39aa684fc994c67973d65901176efe92f00947e4e9f3c681b1b9df055886afc4afef68e5b56b55c0494fa900551841181a8 SHA512 013a6d3f77a628f776cef897274c7c9124f258c5a4935d8cba8c1713be5b3d6ab310219c8c37818df5d4d6a8883f13519a945ddf67db6cdec694a8b2a6012820 MISC metadata.xml 892 BLAKE2B 0c323b949a393a634485d849b25e56ba6a9f9922538c0c09690671810c6ce97842a52021bd2448408747d18210bc8363c94b03697884ad29090f7d7a2ca92a30 SHA512 a1a9312eb03f1e5d0194c21d365650348b2fff626875e075a94dece326a3a6c589133f75998d58d1e2f7053b39fa3fa9ae31074cc0484352024ed336843e819c diff --git a/dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r4.ebuild b/dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r4.ebuild new file mode 100644 index 000000000000..5e6e81063638 --- /dev/null +++ b/dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r4.ebuild @@ -0,0 +1,39 @@ +# Copyright 1999-2023 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" +IUSE="" + +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 +} |