summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-ada/libadalang/Manifest1
-rw-r--r--dev-ada/libadalang/libadalang-2017-r1.ebuild51
-rw-r--r--dev-ada/libadalang/libadalang-2017-r2.ebuild59
-rw-r--r--dev-ada/libadalang/libadalang-2018.ebuild59
4 files changed, 0 insertions, 170 deletions
diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest
index ad2092a0e14e..963641874fc1 100644
--- a/dev-ada/libadalang/Manifest
+++ b/dev-ada/libadalang/Manifest
@@ -1,3 +1,2 @@
-DIST libadalang-2017-src.tar.gz 1862217 BLAKE2B 58f72726285e56a15278e85902fabf988327ea86a08cc6c86271d61075a6b19a0bffa86e5302f5c32e6d35ef95473ad747853b14899a12d09d49d656f4e6559e SHA512 c8663a7214c3c1dd73a6589a6db10d219fcd2db39ba2ce184eea85272c5f206ab0aa8d13b0e19b08a5996906c7fbddd479795363ec22e889dfceda9967c346c7
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/libadalang-2017-r1.ebuild b/dev-ada/libadalang/libadalang-2017-r1.ebuild
deleted file mode 100644
index ef338c304996..000000000000
--- a/dev-ada/libadalang/libadalang-2017-r1.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# 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-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
-}
-
-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
-}
diff --git a/dev-ada/libadalang/libadalang-2017-r2.ebuild b/dev-ada/libadalang/libadalang-2017-r2.ebuild
deleted file mode 100644
index 7896a4c5e03f..000000000000
--- a/dev-ada/libadalang/libadalang-2017-r2.ebuild
+++ /dev/null
@@ -1,59 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-PYTHON_COMPAT=( python2_7 )
-ADA_COMPAT=( gnat_201{6,7} )
-
-inherit ada 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=""
-
-RDEPEND="${ADA_DEPS}
- dev-python/pyyaml
- dev-ada/gnatcoll[${ADA_USEDEP},projects,shared]
- ${PYTHON_DEPS}"
-DEPEND="${RDEPEND}
- ~dev-ada/langkit-2017"
-REQUIRED_USE="${PYTHON_REQUIRED_USE}
- ${ADA_REQUIRED_USE}"
-
-S="${WORKDIR}"/${PN}-gps-src
-
-PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
-
-pkg_setup() {
- python-single-r1_pkg_setup
- ada_pkg_setup
-}
-
-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
-}
diff --git a/dev-ada/libadalang/libadalang-2018.ebuild b/dev-ada/libadalang/libadalang-2018.ebuild
deleted file mode 100644
index 2f0bf1aa8eee..000000000000
--- a/dev-ada/libadalang/libadalang-2018.ebuild
+++ /dev/null
@@ -1,59 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# 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-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
- "${FILESDIR}"/${PN}-2017-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
- rm -r "${D}"usr/python || die
-}