summaryrefslogtreecommitdiff
path: root/dev-ada
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-02-02 15:07:39 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-02-02 15:07:39 +0000
commit52895d302231ef73b105756d2781b2262638d566 (patch)
tree7a2e0cf7cae8995cbbb6f9ae807d5c49b4f2b77c /dev-ada
parent68f980204de6c2d69eed8748edc90282879326a6 (diff)
gentoo auto-resync : 02:02:2023 - 15:07:39
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/Manifest.gzbin4576 -> 4577 bytes
-rw-r--r--dev-ada/gprbuild/Manifest1
-rw-r--r--dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild69
-rw-r--r--dev-ada/gprconfig_kb/Manifest1
-rw-r--r--dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r2.ebuild41
-rw-r--r--dev-ada/xmlada/Manifest1
-rw-r--r--dev-ada/xmlada/xmlada-23.0.0-r1.ebuild86
7 files changed, 199 insertions, 0 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz
index 035d5e6b35a6..8148894ccd74 100644
--- a/dev-ada/Manifest.gz
+++ b/dev-ada/Manifest.gz
Binary files differ
diff --git a/dev-ada/gprbuild/Manifest b/dev-ada/gprbuild/Manifest
index d44ff040376a..c6e29991d244 100644
--- a/dev-ada/gprbuild/Manifest
+++ b/dev-ada/gprbuild/Manifest
@@ -1,5 +1,6 @@
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
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
new file mode 100644
index 000000000000..3e090bfd7e4d
--- /dev/null
+++ b/dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild
@@ -0,0 +1,69 @@
+# 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 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 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
+}
diff --git a/dev-ada/xmlada/Manifest b/dev-ada/xmlada/Manifest
index 319a80c20774..f9f16f05dc1a 100644
--- a/dev-ada/xmlada/Manifest
+++ b/dev-ada/xmlada/Manifest
@@ -1,4 +1,5 @@
AUX xmlada-23.0.0-gentoo.patch 1070 BLAKE2B 1894bf507add813229dc505c6300d475dfbad4a5f0dbcf957b211cf47f9f916d5656658eecd4892d10810d4e5c13cda00107d7a9fe591ebe8f4b5b3567a043c9 SHA512 c3fd4ee0d44df3ad836c6ca3a1e1ae3ee0c5962c8a628299134e6293bc8bdb0de3b98b43910940646c4384db985cf4a1fb47b50ac17a2d315bb1ee12a406e800
DIST xmlada-23.0.0.tar.gz 1053370 BLAKE2B 4edf2244818d72d6fc760f60c8145f373e5445d1d245b20b605e21faa7eeefed7835db87c1fd1239008e75211a572294e1d8e35af16c2ba2631c02d1d3b6f52f SHA512 a0fb2a34ffb5edf408fbdc1a3d68511b5545a5ec8993251ba75d71dd2a197f14e187d08f8febd71cb23bbd694889a99941911386af8468c5eb3b11128555edcb
+EBUILD xmlada-23.0.0-r1.ebuild 2436 BLAKE2B 46829ef8dca9a3f03870e7cb69d43b18dae84d8dd70749a018e68b49ad858a82398e0996bac3e7f4172dd6005b14828d8dd6974413d39ec450a69643720980de SHA512 4cfdd83b004081152a60cc15c5c371252abfe145f61c386226154ce5e7402a672cf089305d7e4272ded6bbfef5851b12219fd77649c45494f4422c69eff55313
EBUILD xmlada-23.0.0.ebuild 2427 BLAKE2B 03b77dda9a0df7f656771c1a5d9c835bff2e2d7b0a8b088ef09c8190810a7f2b366f216aa72286b5571650a61b2ecb059ab335aaf4374ff579f5b039d52bc636 SHA512 4dfbbc697010a8c2ee198eb8f93bbae27225e96386a5486aa0ffe6b95583cf6dbe2015a394d8fdabf36a6e1c774ec651cf4e0e01267dd35aa98781e431ca3352
MISC metadata.xml 987 BLAKE2B 0cea4d25986c676a4418a482ece808fe48869771b7c021727b7b81785ae254d68eab90a6ba52e5a62b2fbf2ea2539103cfc4b4909ebc6c578c33d61d8b3bb16e SHA512 c578017e1aceb4e81669eb3a44cb7e154f5ef16e09b88de70c5fb4675619fbbbaa0260ad7e7ba7bf07a957e64ac9ee8dc172d91df9f8ee1801ff5e4787e09092
diff --git a/dev-ada/xmlada/xmlada-23.0.0-r1.ebuild b/dev-ada/xmlada/xmlada-23.0.0-r1.ebuild
new file mode 100644
index 000000000000..67a8de7968c3
--- /dev/null
+++ b/dev-ada/xmlada/xmlada-23.0.0-r1.ebuild
@@ -0,0 +1,86 @@
+# 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 multiprocessing
+
+DESCRIPTION="Set of modules that provide a simple manipulation of XML streams"
+HOMEPAGE="http://libre.adacore.com/"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+shared static-libs static-pic"
+REQUIRED_USE="|| ( shared static-libs static-pic )
+ ${ADA_REQUIRED_USE}"
+
+RDEPEND="${ADA_DEPS}"
+DEPEND="${RDEPEND}
+ dev-ada/gprbuild[${ADA_USEDEP}]"
+
+PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
+
+src_compile() {
+ build () {
+ gprbuild -j$(makeopts_jobs) -m -p -v -XLIBRARY_TYPE=$1 \
+ -XBUILD=Production -XPROCESSORS=$(makeopts_jobs) xmlada.gpr \
+ -largs ${LDFLAGS} \
+ -cargs ${ADAFLAGS} || die "gprbuild failed"
+ }
+ if use shared; then
+ build relocatable
+ fi
+ if use static-libs; then
+ build static
+ fi
+ if use static-pic; then
+ build static-pic
+ fi
+}
+
+src_test() {
+ GPR_PROJECT_PATH=schema:input_sources:dom:sax:unicode \
+ gprbuild -j$(makeopts_jobs) -m -p -v -XLIBRARY_TYPE=static \
+ -XBUILD=Production -XPROCESSORS=$(makeopts_jobs) xmlada.gpr \
+ -XTESTS_ACTIVATED=Only \
+ -largs ${LDFLAGS} \
+ -cargs ${ADAFLAGS} || die "gprbuild failed"
+ emake --no-print-directory -C tests tests | tee xmlada.testLog
+ grep -q DIFF xmlada.testLog && die
+}
+
+src_install() {
+ build () {
+ gprinstall -XLIBRARY_TYPE=$1 -f -p -XBUILD=Production \
+ -XPROCESSORS=$(makeopts_jobs) --prefix="${D}"/usr \
+ --install-name=xmlada --build-var=LIBRARY_TYPE \
+ --build-var=XMLADA_BUILD \
+ --build-name=$1 xmlada.gpr || die "gprinstall failed"
+ }
+ if use shared; then
+ build relocatable
+ fi
+ if use static-libs; then
+ build static
+ fi
+ if use static-pic; then
+ build static-pic
+ fi
+
+ einstalldocs
+ dodoc xmlada-roadmap.txt
+ rm -rf "${D}"/usr/share/gpr/manifests
+ rm -f "${D}"/usr/share/examples/xmlada/*/b__*
+ rm -f "${D}"/usr/share/examples/xmlada/*/*.adb.std*
+ rm -f "${D}"/usr/share/examples/xmlada/*/*.ali
+ rm -f "${D}"/usr/share/examples/xmlada/*/*.bexch
+ rm -f "${D}"/usr/share/examples/xmlada/*/*.o
+ rm -f "${D}"/usr/share/examples/xmlada/*/*example
+ rm -f "${D}"/usr/share/examples/xmlada/dom/domexample2
+ rm -f "${D}"/usr/share/examples/xmlada/sax/saxexample_main
+ mv "${D}"/usr/share/examples/xmlada "${D}"/usr/share/doc/"${PF}"/examples || die
+}