commit: 056b0b356da86b6a8eecb74ba2989e8fb44dd7a8
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Nov 9 19:05:44 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Nov 9 19:05:44 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=056b0b35
dev-lang/spark: remove old version
Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-lang/spark/spark-2018.ebuild | 62 ----------------------------------------
1 file changed, 62 deletions(-)
diff --git a/dev-lang/spark/spark-2018.ebuild b/dev-lang/spark/spark-2018.ebuild
deleted file mode 100644
index c6d8008d3a2..00000000000
--- a/dev-lang/spark/spark-2018.ebuild
+++ /dev/null
@@ -1,62 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit toolchain-funcs multiprocessing
-
-MYP=${PN}-gpl-${PV}
-
-DESCRIPTION="Software development for high-reliability applications."
-HOMEPAGE="http://libre.adacore.com";
-SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a47
- -> ${MYP}-src.tar.gz
- http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27aa5
- -> gnat-gpl-2018-src.tar.gz"
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="amd64"
-IUSE=""
-
-RDEPEND="dev-lang/gnat-gpl:7.3.1
- dev-ada/gnatcoll-core[gnat_2018,shared]
- sci-mathematics/alt-ergo
- sci-mathematics/why3-for-spark"
-DEPEND="${RDEPEND}
- dev-ada/gprbuild[gnat_2018]"
-
-S="${WORKDIR}"/${MYP}-src
-
-PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch )
-
-src_prepare() {
- ln -sf "${WORKDIR}"/gnat-gpl-2018-src/src/ada gnat2why/gnat_src || die
- default
- GCC_PV=7.3.1
- sed -i \
- -e "s:gnatmake:gnatmake-${GCC_PV}:g" \
- -e "s:gnatls:gnatls-${GCC_PV}:g" \
- Makefile \
- gnatprove/configuration.adb \
- gnat2why/Makefile || die
-}
-
-src_compile() {
- emake GPRARGS="-XLIBRARY_TYPE=relocatable" gnat2why
- emake PROD="-XLIBRARY_TYPE=relocatable" gnatprove
-}
-
-src_install() {
- emake INSTALLDIR="${D}"/usr install
- einstalldocs
- dosym ../../../lib64/why3/why3server /usr/libexec/spark/bin/why3server
- dobin install/bin/gnatprove
- mv install/share/doc/spark/* "${D}"/usr/share/doc/${PF} || die
- exeinto /usr/libexec/spark/bin
- doexe install/bin/gnat2why
- doexe install/bin/spark_memcached_wrapper
- doexe install/bin/spark_report
- doexe install/bin/spark_codepeer_wrapper
- mv "${D}"/usr/bin/target.atp "${D}"/usr/libexec/spark/bin || die
-}
