[gentoo-commits] proj/sci:master commit in: sci-mathematics/apron/

[Aisha Tammy]

commit:     3b1741fc7f3831c69dc03bafccc1727594c83745
Author:     Aisha Tammy <gentoo <AT> aisha <DOT> cc>
AuthorDate: Sat Sep 26 23:11:59 2020 +0000
Commit:     Aisha Tammy <gentoo <AT> aisha <DOT> cc>
CommitDate: Sat Sep 26 23:12:31 2020 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=3b1741fc

sci-mathematics/apron: drop dead package

Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Aisha Tammy <gentoo <AT> aisha.cc>

 sci-mathematics/apron/apron-0.9.10-r1.ebuild | 71 ----------------------------
 sci-mathematics/apron/metadata.xml           | 18 -------
 2 files changed, 89 deletions(-)

diff --git a/sci-mathematics/apron/apron-0.9.10-r1.ebuild b/sci-mathematics/apron/apron-0.9.10-r1.ebuild
deleted file mode 100644
index c2fd73233..000000000
--- a/sci-mathematics/apron/apron-0.9.10-r1.ebuild
+++ /dev/null
@@ -1,71 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit eutils toolchain-funcs
-
-DESCRIPTION="Static analysis of the numerical variables by Abstract Interpretation"
-HOMEPAGE="http://apron.cri.ensmp.fr/library/"
-SRC_URI="http://apron.cri.ensmp.fr/library/${P}.tgz"
-
-LICENSE="LGPL-2 GPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="doc ocaml"
-
-RDEPEND="
-	ocaml? (
-		>=dev-lang/ocaml-3.09
-		dev-ml/camlidl
-		dev-ml/mlgmpidl
-	)
-		dev-libs/gmp:0=
-		dev-libs/mpfr:0="
-DEPEND="${RDEPEND}
-	doc? (
-		app-text/texlive
-		app-text/ghostscript-gpl
-	)"
-
-src_prepare() {
-	mv Makefile.config.model Makefile.config || die
-
-	#fix compile process
-	sed -i Makefile.config \
-		-e "s/FLAGS = \\\/FLAGS += \\\/g" \
-		-e "s/-O3 -DNDEBUG/-DNDEBUG/g" \
-		-e "s/APRON_PREFIX =.*/APRON_PREFIX = \$(DESTDIR)\/usr/g" \
-		-e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g" \
-		|| die
-
-	#fix doc building process
-	sed -i Makefile -e "s/; make html/; make/g"
-	sed -i apronxx/Makefile \
-		-e "s:cd doc/latex && make:cd doc/latex; rubber refman.tex; dvipdf refman.dvi:g"
-	sed -i apronxx/doc/Doxyfile \
-		-e "s/OUTPUT_DIRECTORY       = \/.*/OUTPUT_DIRECTORY       = .\//g" \
-		-e "s/STRIP_FROM_PATH        = \/.*/STRIP_FROM_PATH        = .\//g"
-
-	if [[ "$(gcc-major-version)" == "4" ]]; then
-		sed -i -e "s/# HAS_LONG_DOUBLE = 1/HAS_LONG_DOUBLE = 1/g" Makefile.config
-	fi
-	if use !ocaml; then
-		sed -i -e "s/HAS_OCAML = 1/#HAS_OCAML = 0/g" Makefile.config
-	fi
-}
-
-src_compile() {
-	emake -j1
-}
-
-src_install(){
-	default
-
-	if use doc; then
-		dodoc apron/apron.pdf
-		if use ocaml; then
-			dodoc mlapronidl/mlapronidl.pdf
-		fi
-	fi
-}

diff --git a/sci-mathematics/apron/metadata.xml b/sci-mathematics/apron/metadata.xml
deleted file mode 100644
index d31da6be0..000000000
--- a/sci-mathematics/apron/metadata.xml
+++ /dev/null
@@ -1,18 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<maintainer type="project">
-		<email>sci-mathematics@g.o</email>
-		<name>Gentoo Mathematics Project</name>
-	</maintainer>
-	<longdescription>
-The APRON library is dedicated to the static analysis of the numerical
-variables of a program by Abstract Interpretation. The aim of such an
-analysis is to infer invariants about these variables. The APRON library
-is intended to be a common interface to various underlying
-libraries/abstract domains and to provide additional services that can
-be implemented independently from the underlying library/abstract
-domain, as shown by the poster on the right (presented at the SAS 2007
-conference.
-</longdescription>
-</pkgmetadata>