diff options
Diffstat (limited to 'dev-ada/libadalang')
| -rw-r--r-- | dev-ada/libadalang/Manifest | 7 | ||||
| -rw-r--r-- | dev-ada/libadalang/files/libadalang-2017-gentoo.patch | 10 | ||||
| -rw-r--r-- | dev-ada/libadalang/files/libadalang-2018-gentoo.patch | 21 | ||||
| -rw-r--r-- | dev-ada/libadalang/libadalang-2017.ebuild | 52 | ||||
| -rw-r--r-- | dev-ada/libadalang/libadalang-2018.ebuild | 60 | ||||
| -rw-r--r-- | dev-ada/libadalang/metadata.xml | 20 |
6 files changed, 0 insertions, 170 deletions
diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest deleted file mode 100644 index 7955fa858065..000000000000 --- a/dev-ada/libadalang/Manifest +++ /dev/null @@ -1,7 +0,0 @@ -AUX libadalang-2017-gentoo.patch 521 BLAKE2B 0493204f7a71f9f906017b69b988260add9744888559034e066dd0e33114aaad3c1f69cca23ca59b2c0b2d3503469772a91d6c278595ad8dbda5cf7fb063f8db SHA512 88613409e2ba5aa4e33ae01bdab3ac5298a363732372a33334a85781d1b29d045c7e1207650a1f9a819acad671c5dbfc1d3940a2eda9bf923456dadebb6c9af0 -AUX libadalang-2018-gentoo.patch 1161 BLAKE2B 421608844df562343aaa9c6fd1b1b61a13712a9d50b117011a69681e9da2b55ce29ddad3e91071d9f6aa09feb858358672dad4d037c8a593266d1cdabbe43484 SHA512 cafc3cea5da8cf958db102af78a2c675d9090a7848c83755249137c1d19879d0828c6df27f79c05707e80299ecf2be389411e04f77f021af36a797b6851acdf1 -DIST libadalang-2017-src.tar.gz 1862217 BLAKE2B 58f72726285e56a15278e85902fabf988327ea86a08cc6c86271d61075a6b19a0bffa86e5302f5c32e6d35ef95473ad747853b14899a12d09d49d656f4e6559e SHA512 c8663a7214c3c1dd73a6589a6db10d219fcd2db39ba2ce184eea85272c5f206ab0aa8d13b0e19b08a5996906c7fbddd479795363ec22e889dfceda9967c346c7 -DIST libadalang-gpl-2018-src.tar.gz 1990774 BLAKE2B ffad46d4988de7fb8c9bf94d24360a726c59e3c70a2318725a59e0b6b62351e8f5d8dd6501964618607122e3c7cb3bda0e1181818c68324d4067d59ac93e2b1c SHA512 b95196323097065be2996ced767f8f89fb77445f99c249d84043c68d926d61c78b310b4fef0699d08f9112dc423596c076f452745469a75a8467c35b5e10ac2c -EBUILD libadalang-2017.ebuild 1096 BLAKE2B f0ee4b436c3a7c0288e9360ecf392e7f8b2ae9592f4e3e1a2c3cd50f1979849c52bc52835e8b331ed14c7beaa28ca1f794d3d1bed189935644910505b2c70efa SHA512 802a402622df6d21390aa497342ad4b2fd9b8ba18f7cb52a5377909eedb8e47085f9f3df35d16763904cfaf3dd51413c8526d25a04bd0e1bf26477b6d86ec09c -EBUILD libadalang-2018.ebuild 1341 BLAKE2B 2440d20e69e4991a5e0f28f47658080c6c2a3784e6339ae85f01d053dfa5f93c4c8aeb31cdcac4be5c5e99b6c59ef7f30963281604428ad1d539cf5890f49020 SHA512 53570131296ef159031711c777d9b20dc34cc2171f3aea67608267f775ccc1bfaa2b5318952c318868a6bfdc812425c2e6d1d00bb3fcefaa487bd70ebfe58c54 -MISC metadata.xml 810 BLAKE2B 89dbced5c050ba4dea4ba0537cda9512bc534bee25aa8260cd7ac30129ada091ced7c37d29efdbf11ceac9e295171e84b248d186cfb11b2072fd2beb7997089a SHA512 6857c4ac7b2cd9de167039889a99d9cdac1ba0235379f36630d51e075f1fbfccab974bbd9f34a1be08cab7869c8dbc5ec14da9ff4ec6225bd89470c350f22ebd 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/files/libadalang-2018-gentoo.patch b/dev-ada/libadalang/files/libadalang-2018-gentoo.patch deleted file mode 100644 index ef92b255cf48..000000000000 --- a/dev-ada/libadalang/files/libadalang-2018-gentoo.patch +++ /dev/null @@ -1,21 +0,0 @@ ---- a/ada/testsuite/testsuite_support/capi_driver.py 2017-07-30 16:01:31.495287196 +0200 -+++ b/ada/testsuite/testsuite_support/capi_driver.py 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], ---- a/ada/testsuite/tests/c_api/unit_file_providers/test.out 2018-07-05 20:57:15.718357269 +0200 -+++ b/ada/testsuite/tests/c_api/unit_file_providers/test.out 2018-07-05 20:58:47.363026320 +0200 -@@ -5,6 +5,8 @@ - Calling ufp_get_unit_filename (some_field=42, kind=0) with name: "foo" - Calling ufp_get_file_from_name (some_field=42, kind=0) with name: "foo" - Calling ufp_get_file_from_name (some_field=42, kind=0) with name: "foo" -+Calling ufp_get_unit_filename (some_field=42, kind=0) with name: "foo" -+Calling ufp_get_file_from_name (some_field=42, kind=0) with name: "foo" - <DottedName 5:17-5:22> resolves to: - <ObjectDecl ["I"] 2:4-2:21> - Calling ufp_destroy (some_field=42) diff --git a/dev-ada/libadalang/libadalang-2017.ebuild b/dev-ada/libadalang/libadalang-2017.ebuild deleted file mode 100644 index 2d97d6c5e909..000000000000 --- a/dev-ada/libadalang/libadalang-2017.ebuild +++ /dev/null @@ -1,52 +0,0 @@ -# Copyright 1999-2018 Gentoo Foundation -# 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} - ^^ ( gnat_2016 gnat_2017 )" - -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 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 -} diff --git a/dev-ada/libadalang/libadalang-2018.ebuild b/dev-ada/libadalang/libadalang-2018.ebuild deleted file mode 100644 index 7a0db2177830..000000000000 --- a/dev-ada/libadalang/libadalang-2018.ebuild +++ /dev/null @@ -1,60 +0,0 @@ -# Copyright 1999-2018 Gentoo Foundation -# 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 +shared static-libs" - -RDEPEND="dev-python/pyyaml - || ( - dev-ada/gnatcoll[projects,shared,gnat_2016=,gnat_2017=] - ( - dev-ada/gnatcoll-bindings[gnat_2016=,gnat_2017=,gnat_2018=] - 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 ) - -src_configure() { - ada/manage.py -v debug generate || die -} - -src_compile() { - ada/manage.py \ - -v \ - $(use_enable shared) \ - $(use_enable static-libs static) \ - build || 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 -} diff --git a/dev-ada/libadalang/metadata.xml b/dev-ada/libadalang/metadata.xml deleted file mode 100644 index a2f3f0910000..000000000000 --- a/dev-ada/libadalang/metadata.xml +++ /dev/null @@ -1,20 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="person"> - <email>tupone@gentoo.org</email> - <name>Tupone Alfredo</name> - </maintainer> - <use> - <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="shared">Build shared library</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> |