summaryrefslogtreecommitdiff
path: root/dev-ada/libadalang
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ada/libadalang')
-rw-r--r--dev-ada/libadalang/Manifest7
-rw-r--r--dev-ada/libadalang/files/libadalang-2017-gentoo.patch10
-rw-r--r--dev-ada/libadalang/files/libadalang-2018-gentoo.patch21
-rw-r--r--dev-ada/libadalang/libadalang-2017.ebuild52
-rw-r--r--dev-ada/libadalang/libadalang-2018.ebuild60
-rw-r--r--dev-ada/libadalang/metadata.xml20
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>