summaryrefslogtreecommitdiff
path: root/dev-ada/libadalang/libadalang-23.0.0-r3.ebuild
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ada/libadalang/libadalang-23.0.0-r3.ebuild')
-rw-r--r--dev-ada/libadalang/libadalang-23.0.0-r3.ebuild107
1 files changed, 107 insertions, 0 deletions
diff --git a/dev-ada/libadalang/libadalang-23.0.0-r3.ebuild b/dev-ada/libadalang/libadalang-23.0.0-r3.ebuild
new file mode 100644
index 000000000000..8fd7fea69d3d
--- /dev/null
+++ b/dev-ada/libadalang/libadalang-23.0.0-r3.ebuild
@@ -0,0 +1,107 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..11} )
+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}"
+RESTRICT="!test? ( 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/langkit[${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}"/${P}-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) \
+ --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
+}