diff options
Diffstat (limited to 'dev-ada')
-rw-r--r-- | dev-ada/Manifest.gz | bin | 4556 -> 4559 bytes | |||
-rw-r--r-- | dev-ada/gprbuild/Manifest | 1 | ||||
-rw-r--r-- | dev-ada/gprbuild/gprbuild-23.0.0-r2.ebuild | 69 | ||||
-rw-r--r-- | dev-ada/gprconfig_kb/Manifest | 1 | ||||
-rw-r--r-- | dev-ada/gprconfig_kb/gprconfig_kb-23.0.0-r4.ebuild | 39 | ||||
-rw-r--r-- | dev-ada/xmlada/Manifest | 1 | ||||
-rw-r--r-- | dev-ada/xmlada/xmlada-23.0.0-r2.ebuild | 86 |
7 files changed, 197 insertions, 0 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz Binary files differindex 69199d6db681..79c4071380af 100644 --- a/dev-ada/Manifest.gz +++ b/dev-ada/Manifest.gz 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 +} |