summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2021-01-31 00:47:55 +0100
committerMichał Górny <mgorny@gentoo.org>2021-01-31 01:06:32 +0100
commitca4e339210df90d84cab313993fea402474b9ff1 (patch)
treecae6743986b1adca70b98f6d9f5996fa9599c5c9 /dev-ada
parentdev-ada/libadalang-tools: Remove last-rited pkg (diff)
downloadgentoo-ca4e339210df90d84cab313993fea402474b9ff1.tar.gz
gentoo-ca4e339210df90d84cab313993fea402474b9ff1.tar.bz2
gentoo-ca4e339210df90d84cab313993fea402474b9ff1.zip
dev-ada/libadalang: Remove last-rited pkg
Closes: https://bugs.gentoo.org/735264 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/libadalang/Manifest2
-rw-r--r--dev-ada/libadalang/files/libadalang-2017-gentoo.patch20
-rw-r--r--dev-ada/libadalang/files/libadalang-2018-gentoo.patch11
-rw-r--r--dev-ada/libadalang/files/libadalang-2019-gentoo.patch55
-rw-r--r--dev-ada/libadalang/files/libadalang-2019-pyyaml.patch11
-rw-r--r--dev-ada/libadalang/libadalang-2018-r2.ebuild69
-rw-r--r--dev-ada/libadalang/libadalang-2019-r1.ebuild77
-rw-r--r--dev-ada/libadalang/metadata.xml16
8 files changed, 0 insertions, 261 deletions
diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest
deleted file mode 100644
index 963641874fc1..000000000000
--- a/dev-ada/libadalang/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST libadalang-2019-20190510-19916-src.tar.gz 2345942 BLAKE2B 807fd6ea0183b5535e96b258998a0540aa77dec0669db81bae10b56894e12bbb381b356bd55d6684156101d2ea0e5439c2551a4213a81e79e4697a7ff6ba5df2 SHA512 9ebf8d0c01d12f5a8081fced9504b78a45cbde6ecc0e6abeed99aff03abd0b241c1ecba85b256911e474cb77e10e5e387f64d51a2d9b18596baf40313f44f089
-DIST libadalang-gpl-2018-src.tar.gz 1990774 BLAKE2B ffad46d4988de7fb8c9bf94d24360a726c59e3c70a2318725a59e0b6b62351e8f5d8dd6501964618607122e3c7cb3bda0e1181818c68324d4067d59ac93e2b1c SHA512 b95196323097065be2996ced767f8f89fb77445f99c249d84043c68d926d61c78b310b4fef0699d08f9112dc423596c076f452745469a75a8467c35b5e10ac2c
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 00f9aca46959..000000000000
--- a/dev-ada/libadalang/files/libadalang-2017-gentoo.patch
+++ /dev/null
@@ -1,20 +0,0 @@
---- 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/files/libadalang-2018-gentoo.patch b/dev-ada/libadalang/files/libadalang-2018-gentoo.patch
deleted file mode 100644
index 96c45c74a852..000000000000
--- a/dev-ada/libadalang/files/libadalang-2018-gentoo.patch
+++ /dev/null
@@ -1,11 +0,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/files/libadalang-2019-gentoo.patch b/dev-ada/libadalang/files/libadalang-2019-gentoo.patch
deleted file mode 100644
index 5471632a2ad6..000000000000
--- a/dev-ada/libadalang/files/libadalang-2019-gentoo.patch
+++ /dev/null
@@ -1,55 +0,0 @@
---- a/ada/testsuite/tests/name_resolution/for_of_derived/test.yaml 2019-06-10 18:10:52.274104372 +0200
-+++ b/ada/testsuite/tests/name_resolution/for_of_derived/test.yaml 2019-06-10 18:12:09.050950758 +0200
-@@ -1,2 +1,3 @@
- driver: name-resolution
- input_sources: [for_of_derived.adb]
-+expect_failure: Gentoo unfixed
---- a/ada/testsuite/tests/name_resolution/test_subp_address/test.yaml 2019-06-10 18:13:18.821902438 +0200
-+++ b/ada/testsuite/tests/name_resolution/test_subp_address/test.yaml 2019-06-10 18:13:40.055583691 +0200
-@@ -1,3 +1,4 @@
- driver: name-resolution
- input_sources: [test_subp_address.adb]
- with_default_project: False
-+expect_failure: Gentoo unfixed
---- a/ada/testsuite/tests/name_resolution/delay_until/test.yaml 2019-06-10 18:17:48.878848194 +0200
-+++ b/ada/testsuite/tests/name_resolution/delay_until/test.yaml 2019-06-10 18:18:00.052680426 +0200
-@@ -1,2 +1,3 @@
- driver: name-resolution
- input_sources: [delay_until.adb]
-+expect_failure: Gentoo unfixed
---- a/ada/testsuite/tests/name_resolution/exception_occurence/test.yaml 2019-06-10 18:14:22.803941966 +0200
-+++ b/ada/testsuite/tests/name_resolution/exception_occurence/test.yaml 2019-06-10 18:15:40.665773085 +0200
-@@ -1,2 +1,3 @@
- driver: name-resolution
- input_sources: [test_exc.adb]
-+expect_failure: Gentoo unfixed
---- a/ada/testsuite/tests/name_resolution/int_text_io/test.yaml 2019-06-10 18:18:29.797233863 +0200
-+++ b/ada/testsuite/tests/name_resolution/int_text_io/test.yaml 2019-06-10 18:18:40.230077225 +0200
-@@ -1,2 +1,3 @@
- driver: name-resolution
- input_sources: [foo.adb]
-+expect_failure: Gentoo unfixed
---- a/ada/testsuite/tests/name_resolution/stream_attrs/test.yaml 2019-06-10 18:18:59.441788761 +0200
-+++ b/ada/testsuite/tests/name_resolution/stream_attrs/test.yaml 2019-06-10 18:19:09.873632142 +0200
-@@ -1,2 +1,3 @@
- driver: name-resolution
- input_sources: [streamable_types.ads]
-+expect_failure: Gentoo unfixed
---- a/ada/testsuite/tests/name_resolution/pow_op_2/test.yaml 2019-06-10 18:20:04.207816327 +0200
-+++ b/ada/testsuite/tests/name_resolution/pow_op_2/test.yaml 2019-06-10 18:20:15.739643192 +0200
-@@ -1,2 +1,3 @@
- driver: name-resolution
- input_sources: [test.adb]
-+expect_failure: Gentoo unfixed
---- a/ada/testsuite/tests/name_resolution/text_io_child_units/test.yaml 2019-06-10 18:19:33.552276617 +0200
-+++ b/ada/testsuite/tests/name_resolution/text_io_child_units/test.yaml 2019-06-10 18:19:42.437143224 +0200
-@@ -1,2 +1,3 @@
- driver: name-resolution
- input_sources: [foo.adb]
-+expect_failure: Gentoo unfixed
---- a/ada/testsuite/tests/name_resolution/for_of_vector/test.yaml 2019-06-10 18:20:36.925325094 +0200
-+++ b/ada/testsuite/tests/name_resolution/for_of_vector/test.yaml 2019-06-10 18:20:45.641194223 +0200
-@@ -1,2 +1,3 @@
- driver: name-resolution
- input_sources: [testvec.adb]
-+expect_failure: Gentoo unfixed
diff --git a/dev-ada/libadalang/files/libadalang-2019-pyyaml.patch b/dev-ada/libadalang/files/libadalang-2019-pyyaml.patch
deleted file mode 100644
index ad78d5af1f33..000000000000
--- a/dev-ada/libadalang/files/libadalang-2019-pyyaml.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- a/ada/testsuite/testsuite_support/polyfill.py 2020-03-26 20:52:45.678476467 +0100
-+++ b/ada/testsuite/testsuite_support/polyfill.py 2020-03-26 20:53:13.612979979 +0100
-@@ -368,7 +368,7 @@
- # First load data provided by this testcase
- try:
- with open(os.path.join(test_dir, 'test.yaml'), 'r') as f:
-- test_data = yaml.load(f)
-+ test_data = yaml.safe_load(f)
- except (IOError, yaml.error.YAMLError) as exc:
- status = 'PROBLEM'
- message = 'Invalid test.yaml: {}'.format(exc)
diff --git a/dev-ada/libadalang/libadalang-2018-r2.ebuild b/dev-ada/libadalang/libadalang-2018-r2.ebuild
deleted file mode 100644
index 976d27263cc3..000000000000
--- a/dev-ada/libadalang/libadalang-2018-r2.ebuild
+++ /dev/null
@@ -1,69 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-PYTHON_COMPAT=( python2_7 )
-ADA_COMPAT=( gnat_201{7,8,9} )
-
-inherit ada 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="+shared static-libs"
-
-RDEPEND="dev-python/pyyaml
- dev-ada/gnatcoll-bindings[${ADA_USEDEP},iconv,shared=,static-libs=]
- ${ADA_DEPS}
- ${PYTHON_DEPS}"
-DEPEND="${RDEPEND}
- ~dev-ada/langkit-2018
- dev-ada/gprbuild[${ADA_USEDEP}]"
-REQUIRED_USE="${PYTHON_REQUIRED_USE}
- ${ADA_REQUIRED_USE}"
-
-S="${WORKDIR}"/${MYP}
-
-pkg_setup() {
- python-single-r1_pkg_setup
- ada_pkg_setup
-}
-
-PATCHES=(
- "${FILESDIR}"/${P}-gentoo.patch
- "${FILESDIR}"/${PN}-2017-gentoo.patch
- "${FILESDIR}"/${PN}-2019-pyyaml.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/libadalang-2019-r1.ebuild b/dev-ada/libadalang/libadalang-2019-r1.ebuild
deleted file mode 100644
index 7acb3a03a872..000000000000
--- a/dev-ada/libadalang/libadalang-2019-r1.ebuild
+++ /dev/null
@@ -1,77 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-PYTHON_COMPAT=( python2_7 )
-ADA_COMPAT=( gnat_201{8,9} )
-
-inherit ada python-single-r1
-
-MYP=${P}-20190510-19916-src
-DESCRIPTION="high performance semantic engine for the Ada programming language"
-HOMEPAGE="https://libre.adacore.com/"
-SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf8f3331e87a8f1c967d27
- -> ${MYP}.tar.gz"
-
-LICENSE="GPL-3 gcc-runtime-library-exception-3.1"
-SLOT="0"
-KEYWORDS="amd64 x86"
-IUSE="+shared static-libs"
-
-RDEPEND="dev-python/pyyaml
- dev-ada/gnatcoll-bindings[${ADA_USEDEP},gmp,iconv,shared=,static-libs=]
- ${ADA_DEPS}
- ${PYTHON_DEPS}"
-DEPEND="${RDEPEND}
- dev-ada/gprbuild[${ADA_USEDEP}]
- >=dev-ada/langkit-2019"
-
-REQUIRED_USE="${PYTHON_REQUIRED_USE}
- ${ADA_REQUIRED_USE}"
-
-S="${WORKDIR}"/${MYP}
-
-pkg_setup() {
- python-single-r1_pkg_setup
- ada_pkg_setup
-}
-
-PATCHES=(
- "${FILESDIR}"/${P}-gentoo.patch
- "${FILESDIR}"/${P}-pyyaml.patch
-)
-
-src_configure() {
- ada/manage.py -v debug generate || die
-}
-
-src_compile() {
- libtype=relocatable
- if use shared; then
- if use static-libs; then
- libtype=static,relocatable
- fi
- elif use static-libs; then
- libtype=static
- fi
- ada/manage.py \
- -v \
- --library-types $libtype \
- build \
- --build-mode='prod' || die
-}
-
-src_test() {
- ada/manage.py test | tee libadalang.testOut;
- grep -q FAILED libadalang.testOut && die
-}
-
-src_install() {
- ada/manage.py \
- -v \
- --library-types $libtype \
- install "${D}"/usr || die
- python_domodule build/python/libadalang
- rm -r "${D}"/usr/python || die
-}
diff --git a/dev-ada/libadalang/metadata.xml b/dev-ada/libadalang/metadata.xml
deleted file mode 100644
index 7cfa6c9dcea0..000000000000
--- a/dev-ada/libadalang/metadata.xml
+++ /dev/null
@@ -1,16 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
- <maintainer type="project">
- <email>ada@gentoo.org</email>
- </maintainer>
- <use>
- <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>