summaryrefslogtreecommitdiff
path: root/dev-ada
diff options
context:
space:
mode:
authorLiguros - Gitlab CI/CD [develop] <gitlab@liguros.net>2025-12-28 07:14:46 +0000
committerLiguros - Gitlab CI/CD [develop] <gitlab@liguros.net>2025-12-28 07:14:46 +0000
commit37cea6d5ce77a6001a103aea29d246b60106ab50 (patch)
tree71abd5518f8c1968fbfb45b652f0290f94a65a5c /dev-ada
parentb06ef5109f61bd9a1eb682633acc86b1d1f28b05 (diff)
downloadbaldeagleos-repo-37cea6d5ce77a6001a103aea29d246b60106ab50.tar.gz
baldeagleos-repo-37cea6d5ce77a6001a103aea29d246b60106ab50.tar.xz
baldeagleos-repo-37cea6d5ce77a6001a103aea29d246b60106ab50.zip
Adding metadata
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/langkit-contrib/Manifest2
-rw-r--r--dev-ada/langkit-contrib/langkit-contrib-26.0.0.ebuild74
-rw-r--r--dev-ada/libadalang/Manifest1
-rw-r--r--dev-ada/libadalang/libadalang-26.0.0.ebuild107
4 files changed, 184 insertions, 0 deletions
diff --git a/dev-ada/langkit-contrib/Manifest b/dev-ada/langkit-contrib/Manifest
index 484d9831676f..13fd03da19fd 100644
--- a/dev-ada/langkit-contrib/Manifest
+++ b/dev-ada/langkit-contrib/Manifest
@@ -1,2 +1,4 @@
DIST AdaSAT-25.0.0.tar.gz 30707 BLAKE2B 7256fa3db93273657d52b7b895e51efa95c102753efbe498d283ef33a6bed067ddf2975e72a357483aa67b5ce7d8073d4a192e9a4741ab204ce159ec0f57b529 SHA512 7781a683c5aef9efa9a6b57e82070184c02d734fcf448aa5aa79d9aaa3b40d181d87d7487d9c204f7dcd584a3d2dc1c9ebc027e82b2532c3418c25a2395fd9af
+DIST AdaSAT-26.0.0.tar.gz 30714 BLAKE2B 7a87345d13eaee6e2ab34b5ff7d199a562447263507a17f9e9191c0fd8ef5ba0c999e0e417b3cb58806adfbb9245410ea123e49573d14c3d5bf68f335e25ac77 SHA512 f1fa4fd0bce7275175849e3107eab1ff23db08b6890ccb1f2702ad7467d539ad1cf614c6d5652bfd8dff15927d3439f8e5c9f2ce8b398ada5990d6ce2bdfea9b
DIST langkit-25.0.0.tar.gz 1560623 BLAKE2B ef03755397e85fde9b968dced7cf6bc72e85c21b6baef41160e527840caf32e0ea573d52f66c4b82ce9fa7e2dd0120286e06a3f3525e0acad5f9f11037be29b9 SHA512 27ffecb9b6c5568ebdba4864d9c5ef7e511718083fe087e3af60cfe8cc994b6ea7353cc745bc33395d33e169aaaf6916d991fa4941774932904df3e9b455f1dc
+DIST langkit-26.0.0.tar.gz 2682681 BLAKE2B 848715ab0ab6039f52c88c98146d3622837f86c41e215b07b484ed42490dad5732a2a6e2427c7e41387d3e087a79ff31d700e966b66995aac9f2ac5d0226a6ce SHA512 e96aaf4c9b351166ee544f0e7ded0999e171f660e7b12b664e23913d6e7805ca5792890ffd228ab7a819c5939080f4e6ef2f3e2b75bd8ca722d703f45203388f
diff --git a/dev-ada/langkit-contrib/langkit-contrib-26.0.0.ebuild b/dev-ada/langkit-contrib/langkit-contrib-26.0.0.ebuild
new file mode 100644
index 000000000000..a0d2bc1a1914
--- /dev/null
+++ b/dev-ada/langkit-contrib/langkit-contrib-26.0.0.ebuild
@@ -0,0 +1,74 @@
+# Copyright 2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..14} )
+ADA_COMPAT=( gcc_{12..16} )
+
+DISTUTILS_USE_PEP517=setuptools
+inherit python-single-r1 ada multiprocessing
+
+DESCRIPTION="A Python framework to generate language parsers - Contrib"
+HOMEPAGE="https://www.adacore.com/community"
+SRC_URI="https://github.com/AdaCore/langkit/archive/refs/tags/v${PV}.tar.gz
+ -> langkit-${PV}.tar.gz
+ https://github.com/AdaCore/AdaSAT/archive/refs/tags/v${PV}.tar.gz
+ -> AdaSAT-${PV}.tar.gz"
+
+S="${WORKDIR}"/langkit-${PV}
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm64 ~x86"
+IUSE="static-libs static-pic"
+
+REQUIRED_USE="${PYTHON_REQUIRED_USE}
+ ${ADA_REQUIRED_USE}"
+RESTRICT="test"
+
+RDEPEND="${PYTHON_DEPS}
+ ${ADA_DEPS}
+ dev-ada/langkit:${SLOT}[${ADA_USEDEP},static-libs?,static-pic?]
+ $(python_gen_cond_dep '
+ dev-ada/langkit[${PYTHON_USEDEP}]
+ ')"
+BDEPEND="${RDEPEND}
+ dev-ada/e3-core
+ $(python_gen_cond_dep '
+ dev-ada/e3-core[${PYTHON_USEDEP}]
+ ')
+ dev-ada/gprbuild[${ADA_USEDEP}]"
+
+pkg_setup() {
+ python-single-r1_pkg_setup
+ ada_pkg_setup
+}
+
+src_compile() {
+ local libtype=relocatable
+ use static-libs && libtype+=',static'
+ use static-pic && libtype+=',static-pic'
+ GPR_PROJECT_PATH="${WORKDIR}"/AdaSAT-${PV} \
+ ${EPYTHON} manage.py make --no-mypy \
+ --library-types=${libtype} \
+ --no-langkit-support \
+ --build-mode prod \
+ --jobs $(makeopts_jobs) --gargs \\-v || die
+}
+
+src_install() {
+ local libtype=relocatable
+ use static-libs && libtype+=',static'
+ use static-pic && libtype+=',static-pic'
+ #${EPYTHON} manage.py install-langkit-support "${D}"/usr \
+ # --library-types=${libtype} || die
+ GPR_PROJECT_PATH="${WORKDIR}"/AdaSAT-${PV} \
+ ${EPYTHON} -m langkit.scripts.lkm install -c lkt/langkit.yaml \
+ --build-mode prod \
+ "${D}"/usr --library-types=${libtype} --disable-all-mains || die
+ python_domodule lkt/build/python/liblktlang
+ rm -r "${D}"/usr/java || die
+ rm -r "${D}"/usr/ocaml || die
+ rm -r "${D}"/usr/python || die
+}
diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest
index 41183f5d761f..111e33fa3993 100644
--- a/dev-ada/libadalang/Manifest
+++ b/dev-ada/libadalang/Manifest
@@ -1 +1,2 @@
DIST libadalang-25.0.0.tar.gz 3056796 BLAKE2B 63719c23716d529398c68ccd203ecb3229e72dd5991a23334e1fd6fa5655acdf2a7e0a997d7b91e449d1a21935256c2c3209ab60cc532e1e5264577215c4c7ae SHA512 c625cc0018e4683bf1de18e066a806d9ed834c5e3d976904c3ad2cecc729afeb83fe9a9e00ce830dedab068e75516ac0901602c46fac33d22991bc614ab2f6aa
+DIST libadalang-26.0.0.tar.gz 3092312 BLAKE2B 8ab59faf876cc7c89e15724388e850ee7b2b120a27e8d48c78854d364e51d18d1943753cdd6b34b666b31a6e8d46e457c63533f41104c18865b1ede5fc92a27a SHA512 185c6e55cab712f8ca02b47cea469cdf0bf1befd9e2b7c45f30dc93e1105de70ceab5918c4a7f3c64f60dd8a825d689f583ebdd099c6da98092dde395626230d
diff --git a/dev-ada/libadalang/libadalang-26.0.0.ebuild b/dev-ada/libadalang/libadalang-26.0.0.ebuild
new file mode 100644
index 000000000000..bedc25e956d1
--- /dev/null
+++ b/dev-ada/libadalang/libadalang-26.0.0.ebuild
@@ -0,0 +1,107 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..14} )
+ADA_COMPAT=( gcc_{14..16} )
+
+inherit ada python-single-r1 multiprocessing
+
+DESCRIPTION="high performance semantic engine for the Ada programming language"
+HOMEPAGE="https://github.com/AdaCore/libadalang"
+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 ~arm64 ~x86"
+IUSE="doc test static-libs static-pic"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}
+ ${ADA_REQUIRED_USE}"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ ${ADA_DEPS}
+ ${PYTHON_DEPS}
+ ~dev-ada/gpr-26.0.0[${ADA_USEDEP},static-libs?,static-pic?]
+ ~dev-ada/langkit-contrib-26.0.0[${ADA_USEDEP},${PYTHON_SINGLE_USEDEP},static-libs?,static-pic?]
+ dev-python/pyyaml"
+DEPEND="${RDEPEND}"
+BDEPEND="
+ dev-ada/gprbuild[${ADA_USEDEP}]
+ $(python_gen_cond_dep '
+ dev-ada/e3-core[${PYTHON_USEDEP}]
+ doc? (
+ dev-python/sphinx[${PYTHON_USEDEP}]
+ dev-python/sphinx-rtd-theme[${PYTHON_USEDEP}]
+ )
+ ')
+ test? ( dev-ada/e3-testsuite )"
+
+pkg_setup() {
+ python-single-r1_pkg_setup
+ ada_pkg_setup
+}
+
+src_prepare() {
+ default
+ rm -r testsuite/tests/{c_api,python}/gpr_ada_only || die
+ rm -r testsuite/tests/misc/lkt_typer || die
+ cd testsuite/tests/name_resolution || die
+ rm -r {abort_signal,ada2012_iterator,address_clause,at_clause} || die
+ rm -r {call_expr,deref_attribute,for_loop_6,stream_attrs} || die
+ rm -r test_subp_address || die
+}
+
+src_configure() {
+ ${EPYTHON} -m langkit.scripts.lkm generate -v debug || die
+}
+
+src_compile() {
+ local libType="relocatable"
+ use static-libs && libType+=",static"
+ use static-pic && libType+=",static-pic"
+ ${EPYTHON} -m langkit.scripts.lkm build -v debug \
+ --library-types ${libType} --jobs $(makeopts_jobs) \
+ --disable-java \
+ || die
+ if use doc; then
+ PYTHONPATH="${S}/build/python" \
+ LD_LIBRARY_PATH="${S}/build/lib/relocatable/dev" \
+ emake -C dev_manual html
+ # Needs adadomain
+ #PYTHONPATH="${S}/build/python" \
+ # LD_LIBRARY_PATH="${S}/build/lib/relocatable/dev" \
+ # emake -C user_manual html
+ fi
+}
+
+src_test() {
+ PATH="${S}/build/obj-mains/dev/:${PATH}" \
+ GPR_PROJECT_PATH="${S}/build" \
+ PYTHONPATH="${S}/build/python" \
+ LD_LIBRARY_PATH="${S}/build/lib/relocatable/dev" \
+ ${EPYTHON} testsuite/testsuite.py || die
+}
+
+src_install() {
+ build() {
+ gprinstall -v -p -Pbuild/libadalang.gpr --prefix="${D}"/usr \
+ --build-var=LIBRARY_TYPE --build-var=LIBADALANG_LIBRARY_TYPE \
+ --sources-subdir=include/libadalang --build-name=$1 \
+ -XLIBRARY_TYPE=$1 -XGPR_BUILD=$1 -XXMLADA_BUILD=$1 || die
+ }
+ build relocatable
+ use static-libs && build static
+ use static-pic && build static-pic
+ gprinstall -v -p -Pbuild/mains.gpr --prefix="${D}"/usr \
+ --build-var=LIBRARY_TYPE --build-var=MAINS_LIBRARY_TYPE \
+ --mode=usage --build-name=relocatable -XLIBRARY_TYPE=relocatable \
+ -XGPR_BUILD=relocatable -XXMLADA_BUILD=relocatable || die
+ python_domodule build/python/libadalang
+ if use doc; then
+ HTML_DOCS=(dev_manual/_build/html/*)
+ fi
+ einstalldocs
+}