diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2019-05-30 21:17:46 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2019-05-30 21:17:46 +0200 |
| commit | d47c08e9aa2d668e2082afe0a79f39c821c9e63e (patch) | |
| tree | 51766f3ab0c2218823a49949cb1063ff6b6862e0 /dev-ada | |
| parent | media-gfx/pngquant: bump to v2.12.3 (diff) | |
| download | gentoo-d47c08e9aa2d668e2082afe0a79f39c821c9e63e.tar.gz gentoo-d47c08e9aa2d668e2082afe0a79f39c821c9e63e.tar.bz2 gentoo-d47c08e9aa2d668e2082afe0a79f39c821c9e63e.zip | |
dev-ada/libadalang: enable build with gnat-gpl-2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/libadalang/libadalang-2018-r1.ebuild | 60 | ||||
| -rw-r--r-- | dev-ada/libadalang/metadata.xml | 1 |
2 files changed, 61 insertions, 0 deletions
diff --git a/dev-ada/libadalang/libadalang-2018-r1.ebuild b/dev-ada/libadalang/libadalang-2018-r1.ebuild new file mode 100644 index 000000000000..8bb71fe888b0 --- /dev/null +++ b/dev-ada/libadalang/libadalang-2018-r1.ebuild @@ -0,0 +1,60 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +PYTHON_COMPAT=( python2_7 ) + +inherit python-single-r1 + +MYP=${PN}-gpl-${PV}-src +DESCRIPTION="high performance semantic engine for the Ada programming language" +HOMEPAGE="https://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/5b0cf9adc7a4475263382c18 + -> ${MYP}.tar.gz" + +LICENSE="GPL-3 gcc-runtime-library-exception-3.1" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 gnat_2017 +gnat_2018 gnat_2019 +shared static-libs" + +RDEPEND="dev-python/pyyaml + dev-ada/gnatcoll-bindings[gnat_2016=,gnat_2017=,gnat_2018=,gnat_2019=] + dev-ada/gnatcoll-bindings[iconv,shared=,static-libs=] + ${PYTHON_DEPS}" +DEPEND="${RDEPEND} + >=dev-ada/langkit-2018" +REQUIRED_USE="${PYTHON_REQUIRED_USE}" + +S="${WORKDIR}"/${MYP} + +PATCHES=( + "${FILESDIR}"/${P}-gentoo.patch + "${FILESDIR}"/${PN}-2017-gentoo.patch +) + +src_configure() { + ada/manage.py -v debug generate || die +} + +src_compile() { + ada/manage.py \ + -v \ + $(use_enable shared) \ + $(use_enable static-libs static) \ + build \ + --build-mode='prod' || die +} + +src_test () { + ada/manage.py test | grep FAILED && die +} + +src_install () { + ada/manage.py \ + $(use_enable shared) \ + $(use_enable static-libs static) \ + install "${D}"usr || die + python_domodule build/python/libadalang.py + rm -r "${D}"usr/python || die +} diff --git a/dev-ada/libadalang/metadata.xml b/dev-ada/libadalang/metadata.xml index a2f3f0910000..5ed09e4fd913 100644 --- a/dev-ada/libadalang/metadata.xml +++ b/dev-ada/libadalang/metadata.xml @@ -9,6 +9,7 @@ <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag> + <flag name="gnat_2019">Compile with dev-lang/gnat-gpl-2019</flag> <flag name="shared">Build shared library</flag> </use> <longdescription lang="en"> |