summaryrefslogtreecommitdiff
path: root/dev-ada
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-03-21 00:38:34 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-03-21 00:38:34 +0000
commitd39430b96ad12b39a0ce35745f3d45d980d1b328 (patch)
treefef90d0b467c23d538da717540b56a1be7ec29f0 /dev-ada
parenta075e288474a3a53905a044068223546c5360298 (diff)
gentoo auto-resync : 21:03:2023 - 00:38:34
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/Manifest.gzbin4564 -> 4559 bytes
-rw-r--r--dev-ada/VSS/Manifest4
-rw-r--r--dev-ada/VSS/VSS-22.0.0-r1.ebuild (renamed from dev-ada/VSS/VSS-22.0.0.ebuild)4
-rw-r--r--dev-ada/VSS/VSS-23.0.0-r1.ebuild (renamed from dev-ada/VSS/VSS-23.0.0.ebuild)4
-rw-r--r--dev-ada/gprbuild/Manifest3
-rw-r--r--dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild2
-rw-r--r--dev-ada/gprbuild/gprbuild-23.0.0.ebuild69
-rw-r--r--dev-ada/gprconfig_kb/Manifest3
-rw-r--r--dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r1.ebuild41
-rw-r--r--dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r2.ebuild4
-rw-r--r--dev-ada/markdown/Manifest2
-rw-r--r--dev-ada/markdown/markdown-23.0.0.ebuild4
12 files changed, 13 insertions, 127 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz
index f283379fa1d8..4ef1ad3e3b47 100644
--- a/dev-ada/Manifest.gz
+++ b/dev-ada/Manifest.gz
Binary files differ
diff --git a/dev-ada/VSS/Manifest b/dev-ada/VSS/Manifest
index 815e2577b882..e7350affe2a7 100644
--- a/dev-ada/VSS/Manifest
+++ b/dev-ada/VSS/Manifest
@@ -1,5 +1,5 @@
DIST VSS-22.0.0.tar.gz 310314 BLAKE2B 710645472b0e767f744ca12564a595fabc6bd931a271bc6fd575fdee70ade1676f3a0dbe00d7700ba5bbeb341fa6cc767b8efb18162f1fc308edcb653c9919f4 SHA512 b38582efc2b334a5b550eb9eacadd721b354f51d4cc26fcb4da1c8e7d241a848d5d3ee2651a72b552e2d5357b9fde46ba48e694f17f49cc2bcdad63d2f9d685e
DIST VSS-23.0.0.tar.gz 481748 BLAKE2B eb84e1b84b2d3a463a0e19a3cdd8b6e1e0dd666f72cd79f592f07f75fd7f2c8496f89f5d272c2be1af8a75491a8e3f0f11131dbfe892f3fe107f7e50223ea4bd SHA512 11e762a6ade7137acb32c0776db06244b40a137df90ee5d25855503deeba2a22e6e962ed56d991c71fd27a514edca22ff3d35b0f783855e2d670eb6b45aa4c03
-EBUILD VSS-22.0.0.ebuild 918 BLAKE2B 7c7eca24f61af70250f03a44483be9181673b5aa36de61110c72eb86d8ad73b618780243d23f3d9205d8b6ce1ea8e332bda2bed40cee03c48d0d88fedc20938d SHA512 698788f40ffae9b3df7e58d16e72916c277f2d48f8d0c08ec2c674f01d08ac4cfd447c9b29b5336ed509afb75233de1e82f60faba4ca99ebaa1ff1cccbe55116
-EBUILD VSS-23.0.0.ebuild 1031 BLAKE2B 3c87b0ae903c06238fd945878105d4c3275358046cc7cb782a64b4bfa835d5be6db4a23455831aed04b9daf0f465743f8b45f23c9196a7c9b8bd65fbd69368b6 SHA512 c4c10ee659d96a6c94ec244122c10e53959a2855108634731bf395cf1ad42f7c4ee369050c59b9210b3b0bd743e90e24f8c2177655aa2e35ac6e65f2eb042bec
+EBUILD VSS-22.0.0-r1.ebuild 925 BLAKE2B b398e558021b8e1dfab697da24de7cc5faada640e46efaa6325bc2b80da7fb85f8bff7abb58e9b7040e2c3d56ba1811363654dfab96d22fcfc21d8b232a11380 SHA512 84f879fda03ed3a5e869ae732a4dfea5282941607f13a237ec82b099397ee689877d8480ce285d0ea064b33795fc200ce35d4a8d6c3dba21b246d320791a3789
+EBUILD VSS-23.0.0-r1.ebuild 1038 BLAKE2B 37be8a0505cc7d1f67d4b20b7879af5d920698d4668feefe318e9aed4d157340b88b26dc7d75fbe27182d5c3fde548d83b38ca0858c7b1fdd14fd6bb7250bcf7 SHA512 26309582a348a77f015a6fb7ed017559a9790f27f89ec060d89f1435e8ece1f1d1f7f90f3c468a821742e316a3b576f35a80857803d8441b4255e2415f091e47
MISC metadata.xml 292 BLAKE2B 5a618f9fd5bd6c227fb9c7a5c40c47ed72a314d5dbf2d5f93cb97a7c34236064ed43c4f874561e5e48b385c10eebb9d8a75f9916a722e5f460091738cf6e4679 SHA512 9440e2195e1500bb2edbb5cf4b800d211f6637749a2b5833d341409cfb11a854b0d18cb997e8ff4bfd1afbfb8d49b6f23957cf9b93bcaffd9bc0a60e7e8d8079
diff --git a/dev-ada/VSS/VSS-22.0.0.ebuild b/dev-ada/VSS/VSS-22.0.0-r1.ebuild
index a59fe4ac8241..2244278b3025 100644
--- a/dev-ada/VSS/VSS-22.0.0.ebuild
+++ b/dev-ada/VSS/VSS-22.0.0-r1.ebuild
@@ -1,9 +1,9 @@
# Copyright 2021-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=7
+EAPI=8
-ADA_COMPAT=( gnat_2021 gcc_12_2_0 )
+ADA_COMPAT=( gnat_2021 gcc_12_2_0 gcc_12 )
inherit ada multiprocessing
DESCRIPTION="A high level string and text processing library"
diff --git a/dev-ada/VSS/VSS-23.0.0.ebuild b/dev-ada/VSS/VSS-23.0.0-r1.ebuild
index 7c3492e64841..9785ef553d34 100644
--- a/dev-ada/VSS/VSS-23.0.0.ebuild
+++ b/dev-ada/VSS/VSS-23.0.0-r1.ebuild
@@ -1,9 +1,9 @@
# Copyright 2021-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=7
+EAPI=8
-ADA_COMPAT=( gcc_12_2_0 )
+ADA_COMPAT=( gcc_12_2_0 gcc_12 )
inherit ada multiprocessing
DESCRIPTION="A high level string and text processing library"
diff --git a/dev-ada/gprbuild/Manifest b/dev-ada/gprbuild/Manifest
index c6e29991d244..12e0a13b4f55 100644
--- a/dev-ada/gprbuild/Manifest
+++ b/dev-ada/gprbuild/Manifest
@@ -1,6 +1,5 @@
AUX gprbuild-22.0.0-gentoo.patch 2052 BLAKE2B dcab01dcc71bdab78ecf16796c4174401a3d1dd950fb3600b993ed8e3f9606b7bb19e0ef9e30a1e2265a2003154b6ed06de8b1da73bb3279301b21e68a58e7a0 SHA512 6266611075133e580b07044f1fa85a03918254c189d2def36e227996f377b56876085f3e3ff18b443ccb0cc1d67ee69cb478cd90403015ff4d68107870929c0d
DIST gprbuild-23.0.0.tar.gz 952887 BLAKE2B a0de49e838dd41ca927d728dc2e7f23298bb3e7f865146ed6807e1da0f20fe9ce345d972ef93340f1a1fec91082ce14b575ad4e6642d759cb9d696602f291508 SHA512 d3b1af5295c0216eaa93e52b63ca51ceeaea324a3a3f40644e294f9048170f9294335e7e8ee2d77d99d4d9bb359267921632a01d43485d841b6e771143fb47a5
DIST xmlada-23.0.0.tar.gz 1053370 BLAKE2B 4edf2244818d72d6fc760f60c8145f373e5445d1d245b20b605e21faa7eeefed7835db87c1fd1239008e75211a572294e1d8e35af16c2ba2631c02d1d3b6f52f SHA512 a0fb2a34ffb5edf408fbdc1a3d68511b5545a5ec8993251ba75d71dd2a197f14e187d08f8febd71cb23bbd694889a99941911386af8468c5eb3b11128555edcb
-EBUILD gprbuild-23.0.0-r1.ebuild 1701 BLAKE2B 289e0e6f3b3258ccaa8e50703fd72b4e1b474b65e593b9df15f40cab86a8db2d7500bc60a7d4db071aedeb45d1ccaf07eac4ee977682e6c5729bc3c12be3f963 SHA512 f6a508366308e431cfa12f441fc43b303785d1b68d779d8cd8627bb2c22933ba8640976f53b7495370a48fd80f8a756d64fd2607e781a3ac1230b72ccc22b828
-EBUILD gprbuild-23.0.0.ebuild 1692 BLAKE2B 4f215675325bd6930a377ca7575ec8b6bf92a9ca86707c3fdf872bd269ac2bbe11ff7f89a9ceee2739dbc3f0866fbea0a5801969661499c9ef64dcd0ab691c54 SHA512 1af41f7d3e5ae295f67b5281cd11184bea140f8595080d8277b235fd921d3ae013445f8a4e6e652ae157dd0d9760a7e54804874b8bcba54da4e418e60b48839f
+EBUILD gprbuild-23.0.0-r1.ebuild 1699 BLAKE2B 020a0820e3c02e78cab1d12725da25b4cfbfa2c55655d9f6372c0a8ea6d079becb2a395f7e9f94d41883292e0f6448eab16756f7daad921c7a89e26d7cbb757b SHA512 550b55b23f5cfff4a50db3239b0f3eb9a245e6fa25abb839cfd636e453959244c5d897dbcabc9d8ee2a93eb948a187f32cf476b4271d6a27795745e087ff0baa
MISC metadata.xml 888 BLAKE2B 635ae939acfcaa26b0ba80341ed90cb02d8c5a2cfa50ca78bbcf19bd3081cf434a51ef1b05547bc80f9174db1aabfad1bde6270c3c08ea4c119684a4af7d5e4e SHA512 65b9e30e2b0d5694fe31c244eeca739327274beda743330edb8f85f050a7f9c809cfb3a115b4f9349f282fc39de36f934354db864669f515da746cd9551b5337
diff --git a/dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild b/dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild
index 3e090bfd7e4d..9649280c1c56 100644
--- a/dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild
+++ b/dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild
@@ -18,7 +18,7 @@ SRC_URI="
-> ${XMLADA}.tar.gz"
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 x86"
IUSE=""
DEPEND="${ADA_DEPS}
diff --git a/dev-ada/gprbuild/gprbuild-23.0.0.ebuild b/dev-ada/gprbuild/gprbuild-23.0.0.ebuild
deleted file mode 100644
index 3b99fe68bb8c..000000000000
--- a/dev-ada/gprbuild/gprbuild-23.0.0.ebuild
+++ /dev/null
@@ -1,69 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-ADA_COMPAT=( gnat_2021 gcc_12_2_0 )
-
-inherit ada multiprocessing
-
-XMLADA=xmlada-${PV}
-
-DESCRIPTION="Multi-Language Management"
-HOMEPAGE="http://libre.adacore.com/"
-SRC_URI="
- https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
- -> ${P}.tar.gz
- https://github.com/AdaCore/xmlada/archive/refs/tags/v${PV}.tar.gz
- -> ${XMLADA}.tar.gz"
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="amd64 x86"
-IUSE=""
-
-DEPEND="${ADA_DEPS}
- dev-ada/gprconfig_kb[${ADA_USEDEP}]"
-RDEPEND="${DEPEND}"
-
-REQUIRED_USE="${ADA_REQUIRED_USE}"
-PATCHES=( "${FILESDIR}"/${PN}-22.0.0-gentoo.patch )
-
-src_prepare() {
- default
- sed -i \
- -e "s:@GNATBIND@:${GNATBIND}:g" \
- src/gprlib.adb \
- || die
- cd gpr/src || die
- ln -s gpr-util-put_resource_usage__unix.adb \
- gpr-util-put_resource_usage.adb
-}
-
-bin_progs="gprbuild gprconfig gprclean gprinstall gprname gprls"
-lib_progs="gprlib gprbind"
-
-src_compile() {
- local xmlada_src="../${XMLADA}"
- inc_flags="-Isrc -Igpr/src -I${xmlada_src}/sax -I${xmlada_src}/dom \
- -I${xmlada_src}/schema -I${xmlada_src}/unicode \
- -I${xmlada_src}/input_sources"
-
- gcc -c ${CFLAGS} gpr/src/gpr_imports.c -o gpr_imports.o || die
- for bin in ${bin_progs}; do
- gnatmake -j$(makeopts_jobs) ${inc_flags} $ADAFLAGS ${bin}-main \
- -o ${bin} -largs ${LDFLAGS} gpr_imports.o || die
- done
- for lib in $lib_progs; do
- gnatmake -j$(makeopts_jobs) ${inc_flags} ${lib} $ADAFLAGS \
- -largs ${LDFLAGS} gpr_imports.o || die
- done
-}
-
-src_install() {
- dobin ${bin_progs}
- exeinto /usr/libexec/gprbuild
- doexe ${lib_progs}
- insinto /usr/share/gpr
- doins share/_default.gpr
- einstalldocs
-}
diff --git a/dev-ada/gprconfig_kb/Manifest b/dev-ada/gprconfig_kb/Manifest
index 143fcc1de46c..290a084f82df 100644
--- a/dev-ada/gprconfig_kb/Manifest
+++ b/dev-ada/gprconfig_kb/Manifest
@@ -1,5 +1,4 @@
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
+EBUILD gprconfig_kb-23.0.0-r2.ebuild 718 BLAKE2B 3add45957eed5b88b9582641e2997f12b9aaf7372df7a3d1ad01a58f6e75e75b5e3c3f6542407722992b8c76f52956fbde47dd30ac14d6b49eacc3a6aed96628 SHA512 f0f61ff36c04cac43aabdb1e71e7faeed901e5803a9c03b11b5602fd569e87d8060abb76571394ac2317ba424d9776ca0d9bb61f5a86a63d9c3399b316bcbedf
MISC metadata.xml 892 BLAKE2B 0c323b949a393a634485d849b25e56ba6a9f9922538c0c09690671810c6ce97842a52021bd2448408747d18210bc8363c94b03697884ad29090f7d7a2ca92a30 SHA512 a1a9312eb03f1e5d0194c21d365650348b2fff626875e075a94dece326a3a6c589133f75998d58d1e2f7053b39fa3fa9ae31074cc0484352024ed336843e819c
diff --git a/dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r1.ebuild b/dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r1.ebuild
deleted file mode 100644
index c3ffa5994631..000000000000
--- a/dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r1.ebuild
+++ /dev/null
@@ -1,41 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-ADA_COMPAT=( gnat_2021 gcc_12_2_0 )
-
-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
-}
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
index 6c1b527c0680..e7fecf750ebd 100644
--- a/dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r2.ebuild
+++ b/dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r2.ebuild
@@ -13,11 +13,9 @@ 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"
+KEYWORDS="amd64 x86"
IUSE=""
-RDEPEND="!=dev-ada/gprbuild-2021*"
-
REQUIRED_USE="${ADA_REQUIRED_USE}"
PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
diff --git a/dev-ada/markdown/Manifest b/dev-ada/markdown/Manifest
index e2c5f652f7e1..a383b9c8a841 100644
--- a/dev-ada/markdown/Manifest
+++ b/dev-ada/markdown/Manifest
@@ -1,3 +1,3 @@
DIST markdown-23.0.0.tar.gz 29626 BLAKE2B 146c980635aec06e8b806f3b00ef8a66b2a34de0a5aebf3ff1a83d3f99187b97c714c81a5a7054dd75d3fa87e6682b260636c12044fce05dc79ddf52d2fe56a5 SHA512 13497f8762d360190d158bbcbbb3a0efaaedad0c67b69d0df63c31029ed482c5b6a169152433fb3fd267e97bebc1950d0a8307fc849945a1b7f68892feb496c0
-EBUILD markdown-23.0.0.ebuild 520 BLAKE2B f4633db4f1561676548ce76cebcb80a8de66672b2425313e9ce1dc23c36dfe5f14f0f2791c5eecc4f5d80eb2bbc193b6259bf5bae67d56ec04457cd471b9d29a SHA512 f8756e911bba5a976a786ad2408b7fea50b74c4df9e0c243720a2426cc62472d92a9b6e1794caa8ef0a4ec337a492471fb2b1ae7b81082c3ba23b1f7e7c6990a
+EBUILD markdown-23.0.0.ebuild 532 BLAKE2B bc0353174cf9e751824838b8a6c72d9a0cb458c2446996b052f921fc158838665efde005d1838544317be1e30c2ac43b4d3a4f9ea1eb2277775615b483fbfbc2 SHA512 1610197d986116cd3c5c07eb6d62887e78b41363a1146377bfd7a2d2d83e7ce2fdd324a16505f7dfc552ed373708c9eeaf102109bb5dbcd940066022110ada89
MISC metadata.xml 297 BLAKE2B e9b6674777967e3b392b904af4cac37deff1e0344979b3ae53cf4130353f2d8bf8a38ecd999182c958559a0c4c56255366253ece09f37f59583ebe9dd78dad20 SHA512 517d8222a6bc08f0cf301e11858640f2f40389f338fe1bf77aff093aa3c9ac886688a388f314d9b227f63eacf971034ae056988041c746e7dc9ce58e12ca5821
diff --git a/dev-ada/markdown/markdown-23.0.0.ebuild b/dev-ada/markdown/markdown-23.0.0.ebuild
index 211f2cb18159..f6a994928520 100644
--- a/dev-ada/markdown/markdown-23.0.0.ebuild
+++ b/dev-ada/markdown/markdown-23.0.0.ebuild
@@ -1,9 +1,9 @@
-# Copyright 2022 Gentoo Authors
+# Copyright 2022-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
-ADA_COMPAT=( gnat_2021 gcc_12_2_0 )
+ADA_COMPAT=( gnat_2021 gcc_12_2_0 gcc_12 )
inherit ada
DESCRIPTION="Provides a markdown parser written in Ada"