summaryrefslogtreecommitdiff
path: root/dev-ada
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-03-18 00:49:43 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-03-18 00:49:43 +0000
commitec33f4bcbd3944dc39c56a98cde12232684932cf (patch)
tree3f7cc55fc8e88c98187f129228aa74a73ddcb18a /dev-ada
parent5c94a4b3d11ad7b169e23bd604cf403c96bf4f1c (diff)
gentoo auto-resync : 18:03:2024 - 00:49:43
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/Manifest.gzbin4733 -> 4741 bytes
-rw-r--r--dev-ada/VSS/Manifest2
-rw-r--r--dev-ada/VSS/VSS-24.0.0.ebuild43
-rw-r--r--dev-ada/gpr/Manifest2
-rw-r--r--dev-ada/gpr/gpr-24.0.0.ebuild88
-rw-r--r--dev-ada/libadalang/Manifest2
-rw-r--r--dev-ada/libadalang/libadalang-24.0.0.ebuild110
7 files changed, 247 insertions, 0 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz
index 30db68a844fb..4d7a0fd615bb 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 260614c82fe6..4070116cfafa 100644
--- a/dev-ada/VSS/Manifest
+++ b/dev-ada/VSS/Manifest
@@ -1,5 +1,7 @@
DIST VSS-22.0.0.tar.gz 310314 BLAKE2B 710645472b0e767f744ca12564a595fabc6bd931a271bc6fd575fdee70ade1676f3a0dbe00d7700ba5bbeb341fa6cc767b8efb18162f1fc308edcb653c9919f4 SHA512 b38582efc2b334a5b550eb9eacadd721b354f51d4cc26fcb4da1c8e7d241a848d5d3ee2651a72b552e2d5357b9fde46ba48e694f17f49cc2bcdad63d2f9d685e
DIST VSS-23.0.0.tar.gz 481748 BLAKE2B eb84e1b84b2d3a463a0e19a3cdd8b6e1e0dd666f72cd79f592f07f75fd7f2c8496f89f5d272c2be1af8a75491a8e3f0f11131dbfe892f3fe107f7e50223ea4bd SHA512 11e762a6ade7137acb32c0776db06244b40a137df90ee5d25855503deeba2a22e6e962ed56d991c71fd27a514edca22ff3d35b0f783855e2d670eb6b45aa4c03
+DIST VSS-24.0.0.tar.gz 1116669 BLAKE2B 5f703b4bf5234b38485a3104bd4e32ce0b2666fa00e2808b9a03df5c28c11ca0ac95c655f5490dbd04f113ef2894b45f2795f87cbf297ffa07f85f5a4e7d4710 SHA512 2b77646a299c073535ab0a315a9950e2fc6d43375fa62e0cb2e93ed4094ee42994ad74747c8a3d16ade5473c5520926edd59e4422321398c5deb17c6aedb66ee
EBUILD VSS-22.0.0-r2.ebuild 921 BLAKE2B 35c243f6c3b3db2dca87cdfcc7249c4ce56ae8e9ad6429f80b804b982e6335932ec06d121395ec90cb325aa937f1302bb0b6ddc303ce63cfb74e9537fde943d9 SHA512 7ca05726673e52c775ee8988525ae8d46fa99a7f36ec5ff539c2ff06f0a1a0facd690ba5aab1d86d00782d82a6133de7d08c009f6f249a6a39c67266c5993d68
EBUILD VSS-23.0.0-r2.ebuild 1034 BLAKE2B ba594d0c05f51c56c642505cb260d5449af71b820cf38a29a8166651eaede9b0847e228289c251b3d887cdb45d6a664cee7c0a79d5f1aac71b33bf5d382047be SHA512 29fb68c4f4fa8b72521a7ea767c1aaca276a47ced9ab23ec9049dc808424c250f2114722868b844d835cff87d48da414055dce74a45e74354404cf88a632036e
+EBUILD VSS-24.0.0.ebuild 989 BLAKE2B f6d15cf0ce536ef3f7a25b73fb90a08fbe464b585fa9d55c3ce7cae4524b78f604b26ccb87b77cf617407c47b99d72253e8bb3547cba59ca054625ced571f613 SHA512 1e1f4a429be91fe8e02abf2ab8b96f3f7b79eaf9aaf51d639f79678b55dba8026188f6ad3a20549cb0bf23d51c3a18a1d87535bf272994af649238a07553e9ce
MISC metadata.xml 292 BLAKE2B 5a618f9fd5bd6c227fb9c7a5c40c47ed72a314d5dbf2d5f93cb97a7c34236064ed43c4f874561e5e48b385c10eebb9d8a75f9916a722e5f460091738cf6e4679 SHA512 9440e2195e1500bb2edbb5cf4b800d211f6637749a2b5833d341409cfb11a854b0d18cb997e8ff4bfd1afbfb8d49b6f23957cf9b93bcaffd9bc0a60e7e8d8079
diff --git a/dev-ada/VSS/VSS-24.0.0.ebuild b/dev-ada/VSS/VSS-24.0.0.ebuild
new file mode 100644
index 000000000000..c313680fa3e5
--- /dev/null
+++ b/dev-ada/VSS/VSS-24.0.0.ebuild
@@ -0,0 +1,43 @@
+# Copyright 2021-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+ADA_COMPAT=( gcc_12 gcc_13 )
+inherit ada multiprocessing
+
+DESCRIPTION="A high level string and text processing library"
+HOMEPAGE="https://github.com/AdaCore/VSS"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="GPL-3 gcc-runtime-library-exception-3.1"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="test"
+RESTRICT="!test? ( test )"
+REQUIRED_USE="${ADA_REQUIRED_USE}"
+
+RDEPEND="${ADA_DEPS}
+ dev-ada/xmlada[${ADA_USEDEP}]"
+DEPEND="${RDEPEND}"
+BDEPEND="dev-ada/gprbuild[${ADA_USEDEP}]
+ test? (
+ app-i18n/unicode-data
+ )"
+
+src_prepare() {
+ mkdir data
+ ln -sf /usr/share/unicode-data data/ucd || die
+ default
+}
+
+src_compile() {
+ emake GPRBUILD_FLAGS="-p -j$(makeopts_jobs) -v"
+}
+
+src_test() {
+ emake -j1 GPRBUILD_FLAGS="-p -j$(makeopts_jobs) -v" build_tests
+ # To run all the test need to follow data/README.md
+ emake check_html
+}
diff --git a/dev-ada/gpr/Manifest b/dev-ada/gpr/Manifest
index 01e42328f118..9872871f391c 100644
--- a/dev-ada/gpr/Manifest
+++ b/dev-ada/gpr/Manifest
@@ -1,3 +1,5 @@
DIST gpr-23.0.0.tar.gz 1005298 BLAKE2B 475ac5ad89a4d038dc8cdb953826f46e0f8f2bbf09a858366a634b5bacfc4b0282db4206cf5d113900dffd3c2ad9423b6c6e56de8058215a7946020c30dacc8b SHA512 f1cfd2c2162ffa984c62238a472438919c22a83b61e03c9234f6bc601c1d1e50981f52d024106ad5196dd83ee7686e864c8728c56d451be06baf96161afd8bcc
+DIST gpr2-with-lkparser-24.0.tgz 2030278 BLAKE2B ae42fd876a08a654db2db919e6d777ba603d54d6db618e8b8dbdfcfd9313decad092e0a9feae09ca46ec324cd860eaffbb6fa670290d454414677ad7e4a61dc7 SHA512 eda3c693393763da31312733e2bc06e852b867a32b42da6afdddd623051a1d29f7243aabaef3ae50052b22686dce6db62d9823652ce516d79822e4215f4d87b1
EBUILD gpr-23.0.0-r6.ebuild 3362 BLAKE2B 0763dd534b6bae5835ed377435d74460eb1fbee8a204b74f35c88b3e5cdcfb3a4d50bfc07ab5660af7e214df01ddcf224db3d9c7ab2e7cb06ffdf2bfaf35850e SHA512 782fe78be24b21926060c6ecc0bc3b46d68d06dbae8a799b148ac1b5c9b551423d0a896a743c7f943cd06f9bb943bf29e9404af64a3aabbf52c17d3eb57320e7
+EBUILD gpr-24.0.0.ebuild 2318 BLAKE2B 5125851abb3910f6b49efa1c8b4ecf7b3232796c7dc33de84aafcdf69cd6492debb1cfa7dd3c39397388a9c9bb8e390c93c4b4668f81505dc9480b9a76e6edab SHA512 a57a91c1f2fc7b86cb2d67e099b985f2d3ff8d73cd3fe7c9a9a131b54eb69ceb5296b05aeb76790c0a0e2bf6ec9717d5a192fb9cc5a163080ac4ce4ca380c3f1
MISC metadata.xml 425 BLAKE2B f43600b21f72ac0a1e54e757848b52c070dafa69d36c142d60d7693cdd17c9f3049948da3b6c069a46a3b1e836bac18d268823a80c037f4e14e08f4822b8e1a3 SHA512 c6df0aded61f6d481d64a331b5db0da30dd6a75c56cc051ad5ba7f90cc7376f17ede0b7c2f94acd110ccc104773c138d961040b272edc7a11f1671d548008e7e
diff --git a/dev-ada/gpr/gpr-24.0.0.ebuild b/dev-ada/gpr/gpr-24.0.0.ebuild
new file mode 100644
index 000000000000..b0b0a3b4d4e8
--- /dev/null
+++ b/dev-ada/gpr/gpr-24.0.0.ebuild
@@ -0,0 +1,88 @@
+# Copyright 2022-2024 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="LibGPR2 - Parser for GPR Project files"
+HOMEPAGE="https://github.com/AdaCore/gpr"
+SRC_URI="https://github.com/AdaCore/${PN}/releases/download/v${PV}/gpr2-with-lkparser-$(ver_cut 1-2).tgz"
+
+LICENSE="Apache-2.0"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="+shared static-libs static-pic"
+REQUIRED_USE="|| ( shared static-libs static-pic )
+ ${ADA_REQUIRED_USE}"
+
+RDEPEND="${ADA_DEPS}
+ dev-ada/xmlada[${ADA_USEDEP},shared?,static-libs?,static-pic?]
+ dev-ada/gnatcoll-core[${ADA_USEDEP},shared?,static-libs?,static-pic?]
+ dev-ada/gnatcoll-bindings[${ADA_USEDEP},shared?,static-libs?,static-pic?,iconv,gmp]
+"
+
+DEPEND="${RDEPEND}
+ dev-ada/gprconfig_kb[${ADA_USEDEP}]
+ dev-ada/gprbuild[${ADA_USEDEP}]"
+
+S="${WORKDIR}"/${PN}
+
+src_compile() {
+ build () {
+ gprbuild -j$(makeopts_jobs) -m -p -v -XLIBRARY_TYPE=$1 \
+ -XGPR2_BUILD=release -XXMLADA_BUILD=$1 gpr2.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
+ if use static-libs; then
+ libtype='static'
+ elif use static-pic; then
+ libtype='static-pic'
+ elif use shared; then
+ libtype='relocatable'
+ fi
+
+ gprbuild -p -m -v -j$(makeopts_jobs) -aP . -XGPR2_BUILD=release \
+ -XLIBRARY_TYPE=${libtype} -XXMLADA_BUILD=${libtype} tools/gpr2-tools.gpr \
+ -largs ${LDFLAGS} -cargs ${ADAFLAGS} || die
+}
+
+src_install() {
+ build () {
+ gprinstall -XLIBRARY_TYPE=$1 -f -p -v -XGPR2_BUILD=release \
+ --prefix="${D}/usr" -XXMLADA_BUILD=$1 \
+ --build-name=$1 --build-var=LIBRARY_TYPE \
+ --build-var=GPR2_LIBRARY_TYPE gpr2.gpr || die
+ }
+ if use shared; then
+ build relocatable
+ fi
+ if use static-libs; then
+ build static
+ fi
+ if use static-pic; then
+ build static-pic
+ fi
+ gprinstall -p -f -v -aP . -XGPR2_BUILD=release --prefix="${D}/usr" \
+ -XLIBRARY_TYPE=${libtype} -XXMLADA_BUILD=${libtype} \
+ --build-name=${libtype} --mode=usage tools/gpr2-tools.gpr || die
+
+ einstalldocs
+
+ rm "${D}"/usr/bin/gprclean || die
+ rm "${D}"/usr/bin/gprconfig || die
+ rm "${D}"/usr/bin/gprinstall || die
+ rm "${D}"/usr/bin/gprls || die
+}
diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest
index 69200c4d7dab..1560b0d9dd70 100644
--- a/dev-ada/libadalang/Manifest
+++ b/dev-ada/libadalang/Manifest
@@ -1,4 +1,6 @@
AUX libadalang-23.0.0-test.patch 554 BLAKE2B 3f9dd2b8bba0defd745e18e00162116c56cef11395ebea09730337a844824e0b3c231ed650dd2510fca431c12c5d1991bbcf9b772899f85d5f9af90a3acb51b1 SHA512 0f53b76eb2dbdf8c4fdea5d1e582e2402fae31367d48f95e9fb15726af5b32d8a26bb4295c4c60a68fd4e3bf600dd82cbfa4b8b28cadcd626c6c9f652dccb175
DIST libadalang-23.0.0.tar.gz 2604724 BLAKE2B 0e415c92fdd150e19288cee87a011c448962531b629b7f77be3b22a7e6662017a6cfd5132a5895c68ffee4b28b7ac35e4b5abc07f015a84638ecb1843976e3e5 SHA512 ed80d751d3a2e07b0d612bda24c0f1d753d15237cde3d9e3bbb6c79c8c98d6af050151c499d161e619282ed8cb742968bbfb5423008aa593a6673fcf0375c7d3
+DIST libadalang-24.0.0.tar.gz 2783238 BLAKE2B 6d3b3df1dbb645ea8cba8f8088c7cdd40e9114ce2a5100bf93fefe8089d944f185fe343f5fefc35e17f64f5bf4f3dde358a398614db7d1a1b62dd136efdbb334 SHA512 fb2ed8aee075ef5dd66527a099acb5eef9103a8bf244ed437ff9fa38360d7de1712e6375ed98b691a745fa27ef841eb5daa6651641c552c5146986c5ed977131
EBUILD libadalang-23.0.0-r3.ebuild 2590 BLAKE2B b8f45ba99782502511f86cf72352f53206af0d3fc473b80a72d770fe591b7d70b371824c3c186bf17a156f3d89412affdb151416bb0828d95ec68019d89dd335 SHA512 2313f457f2de95994d1133ddeb44cd00e3fbd1bc68e1babe0f01e8adb222f415ed30fb631ba123be407389182270167a814a666a8e2c4e2a1b361ac97802f2f4
+EBUILD libadalang-24.0.0.ebuild 2696 BLAKE2B 05f68706b36f55a226644a4e2ac07c8ea201d8b5cf4b4f6b465675ae957f9ece69ba61da7abd3983fb227820885e005d99688e50e307f8f7ca453996e20b187a SHA512 febedd998efd7ba3f9f6af4c4ffd4904a6bb5cf4df58fd92baf8d0a8cbbd342cf29f9325bc0407761772851d2b513c4d83044cbda3118daa07a2ba42cf085a06
MISC metadata.xml 676 BLAKE2B 085445f4e10891044b544d0885a3887a5f8b2d0188ead82eee9e3a351042b171cd3cbfe5ac5910a008e723f74c1f9e96cec5239b91567af28f10c136d5372d6f SHA512 7165db10f2d58592cdf3197778ed42a99d6fa05730ab89ed9faa05146e6d54e3888f7f2841f129c5d2ef5897910348058de4303b105e1ba50ff08e2cbc7831ce
diff --git a/dev-ada/libadalang/libadalang-24.0.0.ebuild b/dev-ada/libadalang/libadalang-24.0.0.ebuild
new file mode 100644
index 000000000000..9635eb6d6899
--- /dev/null
+++ b/dev-ada/libadalang/libadalang-24.0.0.ebuild
@@ -0,0 +1,110 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..12} )
+ADA_COMPAT=( gnat_2021 gcc_12 gcc_13 )
+
+inherit ada python-single-r1 multiprocessing
+
+DESCRIPTION="high performance semantic engine for the Ada programming language"
+HOMEPAGE="https://libre.adacore.com/"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="test +static-libs static-pic"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}
+ ${ADA_REQUIRED_USE}"
+# Need java
+RESTRICT="test"
+
+RDEPEND="dev-python/pyyaml
+ dev-ada/gnatcoll-bindings[${ADA_USEDEP},gmp,iconv]
+ dev-ada/gnatcoll-bindings[shared,static-libs?,static-pic?]
+ ${ADA_DEPS}
+ ${PYTHON_DEPS}
+ >=dev-ada/gpr-24.0.0[${ADA_USEDEP},shared,static-libs?,static-pic?]
+ >=dev-ada/langkit-24.0.0[${ADA_USEDEP},shared,static-libs?,static-pic?]
+ $(python_gen_cond_dep '
+ dev-ada/langkit[${PYTHON_USEDEP}]
+ ')"
+DEPEND="${RDEPEND}
+ dev-ada/gprbuild[${ADA_USEDEP}]
+"
+BDEPEND="test? (
+ dev-ml/dune
+ dev-ml/zarith
+ dev-ml/camomile
+ dev-ml/ocaml-ctypes
+ dev-ada/e3-testsuite
+ <dev-lang/ocaml-4.14
+ )"
+
+PATCHES=( "${FILESDIR}"/${PN}-23.0.0-test.patch )
+
+pkg_setup() {
+ python-single-r1_pkg_setup
+ ada_pkg_setup
+ libType=''
+ if use static-libs; then
+ libType+=',static'
+ fi
+ if use static-pic; then
+ libType+=',static-pic'
+ fi
+ libType+=',relocatable'
+ libType=${libType:1}
+}
+
+src_prepare() {
+ default
+ rm -r testsuite/tests/misc/copyright || die
+ rm -r testsuite/tests/name_resolution/field_hiding_2 || die
+ rm -r testsuite/tests/ocaml_api/auto_provider || die
+ rm -r testsuite/tests/ocaml_api/project_unit_provider || die
+}
+
+src_configure() {
+ ${EPYTHON} manage.py generate -v debug || die
+}
+
+src_compile() {
+ ${EPYTHON} manage.py build -v \
+ --build-mode "prod" \
+ -j$(makeopts_jobs) \
+ --disable-java \
+ --gargs "-cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} -largs ${LDFLAGS}" \
+ --library-types=${libType} || die
+ GPR_PROJECT_PATH="${S}"/build \
+ gprbuild -P contrib/highlight/highlight.gpr \
+ -j$(makeopts_jobs) -v \
+ -XBUILD_MODE=prod \
+ -XLIBRARY_TYPE=relocatable \
+ -XXMLADA_BUILD=relocatable \
+ -cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} \
+ -largs ${LDFLAGS} \
+ || die
+}
+
+src_test() {
+ BUILD_MODE=prod \
+ ${EPYTHON} manage.py test \
+ --build-mode "prod" \
+ --restricted-env -j 1 \
+ |& tee libadalang.testOut
+ grep -qw FAIL libadalang.testOut && die
+}
+
+src_install() {
+ ${EPYTHON} manage.py \
+ install "${D}"/usr \
+ --build-mode "prod" \
+ --library-types=${libType} || die
+ rm -r "${D}"/usr/python || die
+ python_domodule build/python/libadalang
+ rm -r "${D}"/usr/ocaml || die
+}