summaryrefslogtreecommitdiff
path: root/dev-ada
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-11-06 10:15:54 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-11-06 10:15:54 +0000
commiteb7aa327b218d640c8bda63ba0fd1ace2bd2d17b (patch)
treebbe526e2a2c1fd2fd7ee20d62b99c7ac30476aff /dev-ada
parent6471b382a951b256ffa1b8ea3e6e7d7f5b189281 (diff)
gentoo auto-resync : 06:11:2023 - 10:15:54
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/Manifest.gzbin4556 -> 4559 bytes
-rw-r--r--dev-ada/gprbuild/Manifest1
-rw-r--r--dev-ada/gprbuild/gprbuild-23.0.0-r2.ebuild69
-rw-r--r--dev-ada/gprconfig_kb/Manifest1
-rw-r--r--dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r4.ebuild39
-rw-r--r--dev-ada/xmlada/Manifest1
-rw-r--r--dev-ada/xmlada/xmlada-23.0.0-r2.ebuild86
7 files changed, 197 insertions, 0 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz
index 69199d6db681..79c4071380af 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 a834b08e1256..4f40da389823 100644
--- a/dev-ada/gprbuild/Manifest
+++ b/dev-ada/gprbuild/Manifest
@@ -2,4 +2,5 @@ AUX gprbuild-22.0.0-gentoo.patch 2052 BLAKE2B dcab01dcc71bdab78ecf16796c4174401a
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 1688 BLAKE2B 1ef6dc9fe6c124aa1b2e5e21ab311b79f33af99d5f40db024bedf599e534de75479f1d8d94acd2e6cb71822b17bcb301c4c6cc42bfb5571c5ae3ea5d8cdf5e6a SHA512 cdfb3062c5255bcd920be57f43e99878fbdcb4966ad9ce55a74c9f922203af7899929141072af264f8aae01c87bb94d65cb6a8afbfea0456d94b2e373e9936c4
+EBUILD gprbuild-23.0.0-r2.ebuild 1697 BLAKE2B ceb7d8c2846a64b9151a80bd4b389c26303abed7695ee7666c3b413a7f717e319e323ff842572cc30283dfca0a8050c40c592eebaab93931366d5465e3969996 SHA512 f4615fb9a36daadcc15e5fefa49e586c9883f32a7b4bbe0d6cde82756fbc558f1879fe7a3b77049da36579a66bce91ad0cc3595c75dc3e329026ac0be8b4d2ef
MISC metadata.xml 888 BLAKE2B 635ae939acfcaa26b0ba80341ed90cb02d8c5a2cfa50ca78bbcf19bd3081cf434a51ef1b05547bc80f9174db1aabfad1bde6270c3c08ea4c119684a4af7d5e4e SHA512 65b9e30e2b0d5694fe31c244eeca739327274beda743330edb8f85f050a7f9c809cfb3a115b4f9349f282fc39de36f934354db864669f515da746cd9551b5337
diff --git a/dev-ada/gprbuild/gprbuild-23.0.0-r2.ebuild b/dev-ada/gprbuild/gprbuild-23.0.0-r2.ebuild
new file mode 100644
index 000000000000..375ab9cd0103
--- /dev/null
+++ b/dev-ada/gprbuild/gprbuild-23.0.0-r2.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 gcc_13 )
+
+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 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
+}
diff --git a/dev-ada/xmlada/Manifest b/dev-ada/xmlada/Manifest
index b2dff57fefc3..f3bd78e22e4d 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 2423 BLAKE2B 7fa7cebecb991d8ddca21cc3693a61b3c91391e84e5749166f1c800623e0dc3d39ad928b069eba5eb658b2887f1ec2979b0e956fe16339319f44e3d2d98c30bf SHA512 e703eb60f456b87368f3c17b777498dc58c8b9863c4ff8810084c22829d551c4223c489151af0523e70bc8b7f0d8c7e7b64d98f7b8e4dbccc22095e9c2c6d665
+EBUILD xmlada-23.0.0-r2.ebuild 2432 BLAKE2B 1f7058541c57ff369062bb5e80db7f179bb0e82f788b4f0ca53817868481bfa0219c26edb15d164d09acb5ea21bc099a85615d6e5f7a2a8ea1ee5e9f042f5628 SHA512 3bb696c7183a4e253f3ac7f147b0b1815336b88b0b1e88ce46e3b3d7a355089b748c4d5244de7b54189a72b83c9b714d67f87b3d80a60b1fd52d49aeb73f356c
MISC metadata.xml 987 BLAKE2B 0cea4d25986c676a4418a482ece808fe48869771b7c021727b7b81785ae254d68eab90a6ba52e5a62b2fbf2ea2539103cfc4b4909ebc6c578c33d61d8b3bb16e SHA512 c578017e1aceb4e81669eb3a44cb7e154f5ef16e09b88de70c5fb4675619fbbbaa0260ad7e7ba7bf07a957e64ac9ee8dc172d91df9f8ee1801ff5e4787e09092
diff --git a/dev-ada/xmlada/xmlada-23.0.0-r2.ebuild b/dev-ada/xmlada/xmlada-23.0.0-r2.ebuild
new file mode 100644
index 000000000000..309f74bc9599
--- /dev/null
+++ b/dev-ada/xmlada/xmlada-23.0.0-r2.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 gcc_13 )
+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
+}