diff options
Diffstat (limited to 'dev-ada/libadalang')
| -rw-r--r-- | dev-ada/libadalang/files/libadalang-2017-gentoo.patch | 10 | ||||
| -rw-r--r-- | dev-ada/libadalang/libadalang-2017.ebuild | 9 |
2 files changed, 3 insertions, 16 deletions
diff --git a/dev-ada/libadalang/files/libadalang-2017-gentoo.patch b/dev-ada/libadalang/files/libadalang-2017-gentoo.patch deleted file mode 100644 index dc84915ad5a0..000000000000 --- a/dev-ada/libadalang/files/libadalang-2017-gentoo.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- libadalang-gps-src/ada/testsuite/testsuite_support/capi_driver.py 2017-07-30 16:01:31.495287196 +0200 -+++ libadalang-gps-src/ada/testsuite/testsuite_support/capi_driver.py.old 2017-07-30 16:00:08.104464440 +0200 -@@ -72,6 +72,7 @@ - -- different default standard. - - "-I{support_include_dir}", "-g"); -+ for Driver ("C") use External ("GCC", "gcc"); - end Compiler; - end P; - '''.format(main_source=compile_units[0], diff --git a/dev-ada/libadalang/libadalang-2017.ebuild b/dev-ada/libadalang/libadalang-2017.ebuild index 2d97d6c5e909..3856ef26ccef 100644 --- a/dev-ada/libadalang/libadalang-2017.ebuild +++ b/dev-ada/libadalang/libadalang-2017.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2018 Gentoo Foundation +# Copyright 1999-2018 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -22,13 +22,10 @@ RDEPEND="dev-python/pyyaml ${PYTHON_DEPS}" DEPEND="${RDEPEND} dev-ada/langkit" -REQUIRED_USE="${PYTHON_REQUIRED_USE} - ^^ ( gnat_2016 gnat_2017 )" +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 @@ -39,7 +36,7 @@ src_configure() { } src_compile() { - ada/manage.py build || die + ada/manage.py --verbosity=debug build || die } src_test () { |