summaryrefslogtreecommitdiff
path: root/dev-ada
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-03-16 00:48:13 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-03-16 00:48:13 +0000
commitd522d1ab80efc308821a88512ab6d40850d54cb0 (patch)
tree07dbebf1127598219fef59725122d71fd610bc30 /dev-ada
parenta4eda25bf0f72d757244b128657832bc4da28375 (diff)
gentoo auto-resync : 16:03:2024 - 00:48:12
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild2
-rw-r--r--dev-ada/AdaSAT/Manifest2
-rw-r--r--dev-ada/Manifest.gzbin4724 -> 4732 bytes
-rw-r--r--dev-ada/langkit/Manifest2
-rw-r--r--dev-ada/langkit/langkit-24.0.0.ebuild107
5 files changed, 111 insertions, 2 deletions
diff --git a/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild b/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
index 747f1d798b08..9ad1954518c4 100644
--- a/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
+++ b/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
@@ -13,7 +13,7 @@ SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~x86"
IUSE="+shared static-libs static-pic test"
DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
diff --git a/dev-ada/AdaSAT/Manifest b/dev-ada/AdaSAT/Manifest
index 88ee4ccfa66c..75658779cc80 100644
--- a/dev-ada/AdaSAT/Manifest
+++ b/dev-ada/AdaSAT/Manifest
@@ -1,3 +1,3 @@
DIST AdaSAT-24.0.0.tar.gz 30088 BLAKE2B 6375c84d54dab73e1c56a137ac156d327e13b1e885d7a102ea62f841fb4d70fb0bb612c4f632dc78facff2544276601e59c75680d7d182175a16fb20e7b4731b SHA512 313310537c5d6a024e6acae4e2d6fba29b4ab6221a0d793cd9af6b7fec16be8ea59551566781eec676c544066f5721a03e61a340e0a45e3f1af51992fda096c6
-EBUILD AdaSAT-24.0.0.ebuild 1369 BLAKE2B b64a2b1e68fcf2e1a232a8082f745737148bf8004644a39b21e59567bc9465c9c92e94cf8f57d3f227d7b33f43042afd11e4f9a24e7dcfd9fea02e9073d14b99 SHA512 ae2193874addb7970749b761a6874605473f3d9623ad8dcf374ee24322a4a463feada6d8936c5ac9d4d7939301a6a1cbb638460e762cfb75b96d51711892334a
+EBUILD AdaSAT-24.0.0.ebuild 1374 BLAKE2B 78c3654a14586ce8f0fdf0e56bc41b56fa091017cdd590c342d5fbe92498dcddae2d7634ffd5bf8e9e109fcf66600739060820c151c3fa7be8f4324f9087a43d SHA512 63ccdc39a7c8e9b1e5e9be15389a918c69f1ddd20f1adc6b7d59c3bd2ea57b43ce2615cc2f56e38fc697a5d70a85db610a95be27f558a0e5d76747718722319a
MISC metadata.xml 680 BLAKE2B 7d14796f92fad7d885bfa8e9188bd2dd6f243cce52227df9ca6cf3577fe4d50e21a40ffaccf56508d928589bb5f436d2a73c078aab7e86589e9b94ee709dba3d SHA512 9e03c8d3737d0fc60bbb22d0cd4cabba504adeb1d6eead159748a74cc69cbf8bf83b59e9c04924e612e79490482728dd40ecaa96bd97044074bb63a5ade90e68
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz
index 532a8afca015..eafa7a9290f0 100644
--- a/dev-ada/Manifest.gz
+++ b/dev-ada/Manifest.gz
Binary files differ
diff --git a/dev-ada/langkit/Manifest b/dev-ada/langkit/Manifest
index 8b2b831633ac..20e9486cf954 100644
--- a/dev-ada/langkit/Manifest
+++ b/dev-ada/langkit/Manifest
@@ -1,5 +1,7 @@
AUX langkit-23.0.0-gentoo.patch 357 BLAKE2B 3408d89156a55658881a65d9d180d361d6f516308c0e55f44d7aa78ca261fdd5426e66de25b004c9496d610a16b93054abe98a81fe213af0e1e9a6aa628c37c4 SHA512 8dff9eb7cd914eb112c53d38b3d47f02cd48aa56d65319ae537967baab328e2f4ac94483bf5760455e68e7f621a9d2188bef25025a17e6a19dee9cb381e8e8e5
AUX langkit-23.0.0-py311.patch 3488 BLAKE2B fee31cc4e09a69c357791eaca65152ca56ef5934d3cedf36f4940ba842c595d2b79bfd72fb11c9d60c8cacf208969421ca39db5f528d61b34ae03e99755b5032 SHA512 a022ab4f31e7fa49912382fbdef3f446209f6daa2c78b2443a1e52c5a9ca7d7c078a94e0d8cc2ecda1fcb925320223943dbbf65ded961be9a06ad9457ce0d3ea
DIST langkit-23.0.0.tar.gz 1178557 BLAKE2B c3b81cafea3afcfd90a87192dca5abd0f19c5ff4e195515dd7c4df70824bf328c24855a6761264b89bf44a56afc8dd77b78fbf322c6f92299082507aa65d61e5 SHA512 6cc6adacb157a47ebc8da46591e45a4ff212fba2cd5ac80c12adb2e84f4508735d98dc68ffce86aa5e5e8d873e6f51efb4f88f4d76a190b9eb0024bf69deefc1
+DIST langkit-24.0.0.tar.gz 1282265 BLAKE2B 63aa3eb05be6ea590c3f4d0478cdfa0ee217606607c73b4c172c5b89d8a2a5d815efbf2bcd23b84548ececd11ffa1f89ebcbc5d411845b7a3834d6f7e16aa0b1 SHA512 b26a83cd7e57d8821d09e5e1aeaa2fa5837ab2f3901a006cfd49b059a3cfc98d7ea236dc39a2e24365196bd45c2124396795fd46fdaf4d7cb41aabb45ff85326
EBUILD langkit-23.0.0-r3.ebuild 3016 BLAKE2B b873c159031853a033ada9ffe2f0d446183e1ac39fb0a92e9a774582cd0972f4e7b1dc84e60c77a29e991d49f228f246af0722e3362264e95737df463ad03ec4 SHA512 ea4f1ae233d776b9a8335d1035f4cb13d575c69b51d2f7835a0072aec479205210f024e2f82afa755e055d014cd567528bbedff01c1d75289ec706baf2d97054
+EBUILD langkit-24.0.0.ebuild 2992 BLAKE2B f38459daef942edefeccb8c989a936a786830bc60f692298399ec24256a9c2482e51802fdfdf6eb1c068754ec48fae7fa4ad37444e4a5a71ab353148d1125a22 SHA512 24b0e733c252dbb042c9d998a42edd5f593c65e1a6e2637eca5252bc03a14d53231a30bed70ed6ade83fbe4efe55e0b40302cf9ebc0d863f2bc635b1f9606491
MISC metadata.xml 930 BLAKE2B 5ec7305df09ee1011fc0a0b93f75bbbf315a153a835d0e3c074e95b717d6c95c7f0b29e99537375be3c6aa73e5cf089cd32fcc3567f78bb3c6768e171c3d4521 SHA512 8f0056d87158d87dc3fad08ceffcfc2a6c065977669b8d0f8560b72627f8b050ed34886e4cad19e51062b8a2e412f37b1c3ff983f1d33da79cb6283f6532df85
diff --git a/dev-ada/langkit/langkit-24.0.0.ebuild b/dev-ada/langkit/langkit-24.0.0.ebuild
new file mode 100644
index 000000000000..a819cb00aaa7
--- /dev/null
+++ b/dev-ada/langkit/langkit-24.0.0.ebuild
@@ -0,0 +1,107 @@
+# 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=( gcc_12 gcc_13 )
+
+DISTUTILS_USE_PEP517=setuptools
+inherit distutils-r1 ada multiprocessing
+
+DESCRIPTION="A Python framework to generate language parsers"
+HOMEPAGE="https://www.adacore.com/community"
+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="+shared static-libs static-pic"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}
+ ${ADA_REQUIRED_USE}
+ || ( shared static-libs static-pic )"
+RESTRICT="test"
+
+RDEPEND="${PYTHON_DEPS}
+ ${ADA_DEPS}
+ dev-ada/gnatcoll-core:=
+ dev-ada/gnatcoll-bindings[${ADA_USEDEP},gmp,iconv,shared?,static-libs?,static-pic?]
+ dev-ada/AdaSAT[${ADA_USEDEP},shared?,static-libs?,static-pic?]
+ dev-python/mako[${PYTHON_USEDEP}]
+ dev-python/pyyaml[${PYTHON_USEDEP}]
+ dev-python/funcy[${PYTHON_USEDEP}]
+ dev-python/docutils[${PYTHON_USEDEP}]
+ dev-python/mypy[${PYTHON_USEDEP}]
+ dev-python/types-gdb[${PYTHON_USEDEP}]
+ dev-python/types-docutils[${PYTHON_USEDEP}]
+ dev-ada/e3-core[${PYTHON_USEDEP}]"
+BDEPEND="${RDEPEND}"
+
+python_prepare_all() {
+ distutils-r1_python_prepare_all
+ cd testsuite/tests
+
+ # missing gprbuild option to build libraries static/relocatable
+ rm -r {langkit_support,adalog,misc/link_two_libs} || die
+ rm -r misc/standalone || die
+
+ # other failures
+ rm -r misc/docstrings_lkt_roles || die
+}
+
+python_compile_all() {
+ build () {
+ rm -f langkit/support/obj/dev/*lexch
+ gprbuild -j$(makeopts_jobs) -p -v \
+ -XLIBRARY_TYPE=$1 -P langkit/support/langkit_support.gpr -XBUILD_MODE=dev \
+ -cargs:Ada ${ADAFLAGS} -cargs:C ${CFLAGS} || 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
+ gprbuild -j$(makeopts_jobs) -p -v \
+ -P sigsegv_handler/langkit_sigsegv_handler.gpr -XBUILD_MODE=dev \
+ -cargs:Ada ${ADAFLAGS} -cargs:C ${CFLAGS} || die "gprbuild failed"
+}
+
+python_test_all() {
+ export GPR_PROJECT_PATH="${S}"/langkit/support
+ ${EPYTHON} ./manage.py make --no-langkit-support || die
+ eval $(./manage.py setenv)
+ ${EPYTHON} ./manage.py test -v \
+ --disable-ocaml \
+ --disable-gdb \
+ --disable-tear-up-builds \
+ --restricted-env \
+ --jobs $(makeopts_jobs) \
+ |& tee langkit.testOut
+ grep -qw FAIL langkit.testOut && die
+}
+
+python_install_all() {
+ build () {
+ gprinstall -v -P langkit/support/langkit_support.gpr -p -XBUILD_MODE=dev \
+ --prefix="${D}"/usr --build-var=LIBRARY_TYPE \
+ --build-var=LANGKIT_SUPPORT_LIBRARY_TYPE \
+ --sources-subdir=include/langkit_support \
+ -XLIBRARY_TYPE=$1 --build-name=$1 || die
+ }
+ if use static-libs; then
+ build static
+ fi
+ if use static-pic; then
+ build static-pic
+ fi
+ if use shared; then
+ build relocatable
+ fi
+ gprinstall -v -P sigsegv_handler/langkit_sigsegv_handler.gpr -p -XBUILD_MODE=dev \
+ --prefix="${D}"/usr || die
+}