diff options
author | Andrew Ammerlaan <andrewammerlaan@gentoo.org> | 2023-01-03 20:08:09 +0100 |
---|---|---|
committer | Andrew Ammerlaan <andrewammerlaan@gentoo.org> | 2023-01-03 20:08:09 +0100 |
commit | 46b7600be977223b6bf5cfff161ab76a89035970 (patch) | |
tree | b5145f6176364f099cad32e5a54267c5aab0491a /sci-mathematics | |
parent | sci-mathematics/flocq: treeclean (diff) | |
download | sci-46b7600be977223b6bf5cfff161ab76a89035970.tar.gz sci-46b7600be977223b6bf5cfff161ab76a89035970.tar.bz2 sci-46b7600be977223b6bf5cfff161ab76a89035970.zip |
sci-mathematics/gappa: treeclean
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/gappa/Manifest | 2 | ||||
-rw-r--r-- | sci-mathematics/gappa/gappa-1.3.5.ebuild | 44 | ||||
-rw-r--r-- | sci-mathematics/gappa/gappa-1.4.0.ebuild | 42 | ||||
-rw-r--r-- | sci-mathematics/gappa/metadata.xml | 15 |
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> |