sci-mathematics/gappa: treeclean

Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>

4 files changed, 0 insertions, 103 deletions

diff --git a/sci-mathematics/gappa/Manifest b/sci-mathematics/gappa/Manifest
deleted file mode 100644
index 132e4af1c..000000000
--- a/sci-mathematics/gappa/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST gappa-1.3.5.tar.gz 412527 BLAKE2B cf3dc69e9ef538cda7eee42c81dfa5cdfb765967745f68dabd5937cb00ea075f6c6b1614afefe10e7dfe69377ec5ba7f5fed5e4d45b45efd4362090a0bb136cb SHA512 60b5719e3a321df43e33045fa8f4511fc02a4218d1ae7e476e7c6ebcf90ae208832881f6eea5b99a3296dfcc3a18c7e1f4ea9dbea446fc502e14306b6975f6e6
-DIST gappa-1.4.0.tar.gz 387988 BLAKE2B f1c4666b3e3048686753a2cee12b64e7d8c4b2007723c364541458e127b0575836d0b831e2a837cb833b0b7d9a609ab708595ac9498d166a8ae67a566347a0f1 SHA512 fe8ee10b74a257b3df8d7c3fdb9095a10a7d5ee5af41b031d5bb9b981db00832a025bc1d6fce92f97f294fc9f3ab846531a864548e57e9fe191c79b828eb6475
diff --git a/sci-mathematics/gappa/gappa-1.3.5.ebuild b/sci-mathematics/gappa/gappa-1.3.5.ebuild
deleted file mode 100644
index 58ce7ffe7..000000000
--- a/sci-mathematics/gappa/gappa-1.3.5.ebuild
+++ /dev/null
@@ -1,44 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit multiprocessing
-
-DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic"
-HOMEPAGE="http://gappa.gforge.inria.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/38044/${P}.tar.gz"
-
-LICENSE="|| ( CeCILL-2 GPL-2 )"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="doc"
-
-RDEPEND="
-	dev-libs/gmp:0=
-	dev-libs/mpfr:0=
-	dev-libs/boost
-"
-DEPEND="${RDEPEND}
-	doc? ( app-doc/doxygen )"
-
-src_prepare() {
-	default
-	sed -i Remakefile.in \
-		-e "s:mkdir -p @bindir@:mkdir -p \${DESTDIR}@bindir@:g" \
-		-e "s:cp src/gappa @bindir@:cp src/gappa \${DESTDIR}@bindir@:g"
-}
-
-src_compile() {
-	# Only accept number of parrellel jobs because remake does not understand --load-average
-	./remake -d -j$(makeopts_jobs) || die "emake failed"
-	if use doc; then
-		./remake doc/html/index.html
-	fi
-}
-
-src_install() {
-	DESTDIR="${D}" ./remake install
-	einstalldocs
-	use doc && dodoc -r doc/html/*
-}
diff --git a/sci-mathematics/gappa/gappa-1.4.0.ebuild b/sci-mathematics/gappa/gappa-1.4.0.ebuild
deleted file mode 100644
index 7395c8ea3..000000000
--- a/sci-mathematics/gappa/gappa-1.4.0.ebuild
+++ /dev/null
@@ -1,42 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-DOCS_BUILDER="doxygen"
-DOCS_DIR="doc/doxygen"
-
-inherit docs multiprocessing
-
-DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic"
-HOMEPAGE="https://gappa.gitlabpages.inria.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/38436/${P}.tar.gz"
-
-LICENSE="|| ( CeCILL-2 GPL-2 )"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-RDEPEND="
-	dev-libs/gmp:0=
-	dev-libs/mpfr:0=
-	dev-libs/boost
-"
-DEPEND="${RDEPEND}"
-
-src_prepare() {
-	default
-	sed -i Remakefile.in \
-		-e "s:mkdir -p @bindir@:mkdir -p \${DESTDIR}@bindir@:g" \
-		-e "s:cp src/gappa @bindir@:cp src/gappa \${DESTDIR}@bindir@:g" || die
-}
-
-src_compile() {
-	# Only accept number of parrellel jobs because remake does not understand --load-average
-	./remake -d -j$(makeopts_jobs) || die "emake failed"
-	docs_compile
-}
-
-src_install() {
-	DESTDIR="${D}" ./remake install
-	einstalldocs
-}
diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml
deleted file mode 100644
index 448d16798..000000000
--- a/sci-mathematics/gappa/metadata.xml
+++ /dev/null
@@ -1,15 +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@gentoo.org</email>
-		<name>Gentoo Mathematics Project</name>
-	</maintainer>
-	<longdescription>
-Gappa is a tool intended to help verifying and formally proving
-properties on numerical programs dealing with floating-point or
-fixed-point arithmetic. It has been used to write robust floating-point
-filters for CGAL and it is used to certify elementary functions in
-CRlibm.
-</longdescription>
-</pkgmetadata>