diff options
author | Tupone Alfredo <tupone@gentoo.org> | 2018-11-14 22:40:00 +0100 |
---|---|---|
committer | Tupone Alfredo <tupone@gentoo.org> | 2018-11-14 22:40:00 +0100 |
commit | e96e3f0deb379646a1f9392072c98256f4a6074b (patch) | |
tree | 08f84480b5208a9a3e239c73202d1c6cb4aa2e47 /dev-ada | |
parent | app-emulation/reg: Version bump to 0.16.0 (diff) | |
download | gentoo-e96e3f0deb379646a1f9392072c98256f4a6074b.tar.gz gentoo-e96e3f0deb379646a1f9392072c98256f4a6074b.tar.bz2 gentoo-e96e3f0deb379646a1f9392072c98256f4a6074b.zip |
dev-ada/libadalang: Fix test for new libgpr
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
Diffstat (limited to 'dev-ada')
-rw-r--r-- | dev-ada/libadalang/files/libadalang-2017-gentoo.patch | 20 | ||||
-rw-r--r-- | dev-ada/libadalang/libadalang-2017-r1.ebuild | 51 |
2 files changed, 71 insertions, 0 deletions
diff --git a/dev-ada/libadalang/files/libadalang-2017-gentoo.patch b/dev-ada/libadalang/files/libadalang-2017-gentoo.patch new file mode 100644 index 000000000000..00f9aca46959 --- /dev/null +++ b/dev-ada/libadalang/files/libadalang-2017-gentoo.patch @@ -0,0 +1,20 @@ +--- a/ada/testsuite/python_support/utils.py 2018-11-14 22:21:36.366873970 +0100 ++++ b/ada/testsuite/python_support/utils.py 2018-11-14 22:21:59.397477086 +0100 +@@ -28,6 +28,7 @@ + library_kind = 'static' if LAL_DISABLE_SHARED else 'relocatable' + argv.extend([ + '-XLIBRARY_TYPE={}'.format(library_kind), ++ '-XGPR_BUILD={}'.format(library_kind), + '-XXMLADA_BUILD={}'.format(library_kind), + ]) + subprocess.check_call(argv) +--- a/ada/testsuite/testsuite_support/base_driver.py 2018-11-14 22:22:37.698817058 +0100 ++++ b/ada/testsuite/testsuite_support/base_driver.py 2018-11-14 22:30:37.631613448 +0100 +@@ -310,6 +310,7 @@ + """ + library_type = 'static' if self.disable_shared else 'relocatable' + return ['-XLIBRARY_TYPE={}'.format(library_type), ++ '-XGPR_BUILD={}'.format(library_type), + '-XXMLADA_BUILD={}'.format(library_type)] + + # diff --git a/dev-ada/libadalang/libadalang-2017-r1.ebuild b/dev-ada/libadalang/libadalang-2017-r1.ebuild new file mode 100644 index 000000000000..b4185f05c645 --- /dev/null +++ b/dev-ada/libadalang/libadalang-2017-r1.ebuild @@ -0,0 +1,51 @@ +# Copyright 1999-2018 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +PYTHON_COMPAT=( python2_7 ) + +inherit python-single-r1 + +DESCRIPTION="high performance semantic engine for the Ada programming language" +HOMEPAGE="https://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed042 + -> ${P}-src.tar.gz" + +LICENSE="GPL-3 gcc-runtime-library-exception-3.1" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 +gnat_2017" + +RDEPEND="dev-python/pyyaml + dev-ada/gnatcoll[projects,shared,gnat_2016=,gnat_2017=] + ${PYTHON_DEPS}" +DEPEND="${RDEPEND} + dev-ada/langkit" +REQUIRED_USE="${PYTHON_REQUIRED_USE}" + +S="${WORKDIR}"/${PN}-gps-src + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_prepare() { + default + rm -r ada/testsuite/tests/acats_parse || die +} + +src_configure() { + ada/manage.py generate || die +} + +src_compile() { + ada/manage.py --verbosity=debug build || die +} + +src_test () { + ada/manage.py test | grep FAILED && die +} + +src_install () { + ada/manage.py install "${D}"usr + python_domodule build/python/libadalang.py +} |