aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/gappa/gappa-1.3.5.ebuild')
-rw-r--r--sci-mathematics/gappa/gappa-1.3.5.ebuild41
1 files changed, 0 insertions, 41 deletions
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 26461a439..000000000
--- a/sci-mathematics/gappa/gappa-1.3.5.ebuild
+++ /dev/null
@@ -1,41 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-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() {
- ./remake -d ${MAKEOPTS} || 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/*
-}