diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-03-20 00:35:55 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-20 00:35:55 +0000 |
commit | 84be07a71d5002585ac714a892bbfd57f3091b4e (patch) | |
tree | 0fe24d663efe493f7c44c5dea33b63bb2364e706 /dev-ada/libadalang/libadalang-23.0.0-r2.ebuild | |
parent | 810f2cdadf662a6bfaaed425b6ecd216a301cd3d (diff) |
gentoo auto-resync : 20:03:2023 - 00:35:55
Diffstat (limited to 'dev-ada/libadalang/libadalang-23.0.0-r2.ebuild')
-rw-r--r-- | dev-ada/libadalang/libadalang-23.0.0-r2.ebuild | 107 |
1 files changed, 107 insertions, 0 deletions
diff --git a/dev-ada/libadalang/libadalang-23.0.0-r2.ebuild b/dev-ada/libadalang/libadalang-23.0.0-r2.ebuild new file mode 100644 index 000000000000..b01004d4fb5f --- /dev/null +++ b/dev-ada/libadalang/libadalang-23.0.0-r2.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_12_2_0 ) + +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 +} |