diff options
author | V3n3RiX <venerix@koprulu.sector> | 2021-12-22 14:08:05 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2021-12-22 14:08:05 +0000 |
commit | 93a93e9a3b53c1a73142a305ea1f8136846942ee (patch) | |
tree | b9791a06ab3284e27b568412c59316c66240c682 /dev-ada/libadalang | |
parent | 2771f79232c273bc2a57d23bf335dd81ccf6af28 (diff) |
gentoo resync : 22.12.2021
Diffstat (limited to 'dev-ada/libadalang')
-rw-r--r-- | dev-ada/libadalang/Manifest | 3 | ||||
-rw-r--r-- | dev-ada/libadalang/libadalang-22.0.0.ebuild | 82 | ||||
-rw-r--r-- | dev-ada/libadalang/metadata.xml | 17 |
3 files changed, 102 insertions, 0 deletions
diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest new file mode 100644 index 000000000000..2be3d38c3b93 --- /dev/null +++ b/dev-ada/libadalang/Manifest @@ -0,0 +1,3 @@ +DIST libadalang-22.0.0.tar.gz 2364531 BLAKE2B 3992baa7180dce696b2c8aa0d451117a12b90072e83274d96a8d971b627c82bc66c5c21fa1eb6dbdd7ce95e0264852c5702b3d7c90f7bdf093915178e0a4a659 SHA512 b874feb102fe221595ad4b9b95b3ea4c6593686f96097ace17ad3c57534dc801000819de0cf898489e3407fd201eb003dd75f4f743a53dfb76cadfa6c727d789 +EBUILD libadalang-22.0.0.ebuild 1957 BLAKE2B 4999606ed4a57777271770236b789d39a139001f13ec785aa3fde289f5832d1351734e45c8f1a44408b1e205c20329aa7c3820612b584b0e8a6f2d61d7c5e382 SHA512 604b37d5fdbc13098ce96945cbbfbc9cc45d1c6dce40bb4a83ae9b503387b0509d74c98c2f4938b6e4fc83f2143a775b2330890e7b58880965a9ef6dd55aadff +MISC metadata.xml 642 BLAKE2B dbc4f55e5c9dc5fa56d8069493d9fed5041e66e18820b13492d313fb8dbfdfe4d371808ba5f8b614643696505ba8d4dd2804f9ee6047bfd037ea89716c42bea4 SHA512 b8bbf822ce38430142160564385df61f4c85e834109a675fff438771a2aed6843d1d00f6ea6392fbf055719378caf3bc0c40bb2ea25f00f784b000d5b49bc0b9 diff --git a/dev-ada/libadalang/libadalang-22.0.0.ebuild b/dev-ada/libadalang/libadalang-22.0.0.ebuild new file mode 100644 index 000000000000..0af159f8bff5 --- /dev/null +++ b/dev-ada/libadalang/libadalang-22.0.0.ebuild @@ -0,0 +1,82 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +PYTHON_COMPAT=( python3_{7,8,9} ) +ADA_COMPAT=( gnat_202{0,1} ) + +inherit ada python-single-r1 + +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="GPL-3 gcc-runtime-library-exception-3.1" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="test shared +static-libs static-pic" +REQUIRED_USE="|| ( shared static-libs static-pic ) + ${PYTHON_REQUIRED_USE} + ${ADA_REQUIRED_USE}" +RESTRICT="!test? ( test )" + +RDEPEND="dev-python/pyyaml + dev-ada/gnatcoll-bindings[${ADA_USEDEP},gmp,iconv,shared?,static-libs?,static-pic?] + ${ADA_DEPS} + ${PYTHON_DEPS} + $(python_gen_cond_dep ' + dev-ada/langkit[${PYTHON_USEDEP},shared?,static-libs?,static-pic?] + ')" +DEPEND="${RDEPEND} + dev-ada/gprbuild[${ADA_USEDEP}] +" +BDEPEND="test? ( + dev-ml/dune + dev-ml/zarith + dev-ml/camomile + dev-ml/ocaml-ctypes + )" + +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 + if use shared; then + libType+=',relocatable' + fi + libType=${libType:1} +} + +src_configure() { + ${EPYTHON} manage.py generate -v debug || die +} + +src_compile() { + ${EPYTHON} manage.py build -v \ + --gargs "-cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS}" \ + --library-types=${libType} || die +} + +src_test() { + #eval $(${EPYTHON} ./manage.py setenv) + ${EPYTHON} manage.py test --restricted-env -j 1 |& > /dev/null + ${EPYTHON} manage.py test --restricted-env -j 1 |& tee libadalang.testOut + grep -qw FAIL libadalang.testOut && die +} + +src_install() { + ${EPYTHON} manage.py \ + install "${D}"/usr \ + --library-types=${libType} || die + rm -r "${D}"/usr/python || die + python_domodule build/python/libadalang + rm -r "${D}"/usr/ocaml || die +} diff --git a/dev-ada/libadalang/metadata.xml b/dev-ada/libadalang/metadata.xml new file mode 100644 index 000000000000..217288dff7b1 --- /dev/null +++ b/dev-ada/libadalang/metadata.xml @@ -0,0 +1,17 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ada@gentoo.org</email> + </maintainer> + <use> + <flag name="shared">Build shared library</flag> + <flag name="static-pic">Build static library with pic code</flag> + </use> + <longdescription lang="en"> + Libadalang is a project to build a high performance semantic engine for + the Ada programming language. It is meant to provide a basis to write + Ada tooling, including tools working on potentially changing and + incorrect code, such as IDEs. + </longdescription> +</pkgmetadata> |