diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-02-02 15:07:39 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-02 15:07:39 +0000 |
commit | 52895d302231ef73b105756d2781b2262638d566 (patch) | |
tree | 7a2e0cf7cae8995cbbb6f9ae807d5c49b4f2b77c /dev-ada/gprconfig_kb | |
parent | 68f980204de6c2d69eed8748edc90282879326a6 (diff) |
gentoo auto-resync : 02:02:2023 - 15:07:39
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-r2.ebuild | 41 |
2 files changed, 42 insertions, 0 deletions
diff --git a/dev-ada/gprconfig_kb/Manifest b/dev-ada/gprconfig_kb/Manifest index 9eb5e09eda0b..143fcc1de46c 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-r1.ebuild 747 BLAKE2B fb3a4b71cb62bfbd81fc54492a70c2d81054cf4003991454429f9fe85a8e2f798c5721e6517c6612c6efa9392bdd990d4ce72d53679dfe71570d3708f121918f SHA512 bbc85f5dca732eaa3069c289dd6b4039a5427d6f448152568ca9da7d09e2528497f9f72cb4dea567de9251bb4e681b8d162eef7c3a9c03275cad6d7af453d835 +EBUILD gprconfig_kb-23.0.0-r2.ebuild 756 BLAKE2B 8fb9fecfe088022ff7f986f368ede855c4df7b04bcdb6848beb23c5b15258a77d80002cf14ca25ed3a4c3ca2c72404eb9ef8019912fb1dbe502ac98af85c7445 SHA512 420577cbe17df7e49a4aa4c95d4c1e1a68d6f92d0713283433639fed855e6f2e7908f0a2bf3c17fb0ee308f0370718e506772eed87bf6f4fe15a8f3ade944575 MISC metadata.xml 892 BLAKE2B 0c323b949a393a634485d849b25e56ba6a9f9922538c0c09690671810c6ce97842a52021bd2448408747d18210bc8363c94b03697884ad29090f7d7a2ca92a30 SHA512 a1a9312eb03f1e5d0194c21d365650348b2fff626875e075a94dece326a3a6c589133f75998d58d1e2f7053b39fa3fa9ae31074cc0484352024ed336843e819c diff --git a/dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r2.ebuild b/dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r2.ebuild new file mode 100644 index 000000000000..6c1b527c0680 --- /dev/null +++ b/dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r2.ebuild @@ -0,0 +1,41 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +ADA_COMPAT=( gnat_2021 gcc_12_2_0 gcc_12 ) + +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="" + +RDEPEND="!=dev-ada/gprbuild-2021*" + +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 +} |