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

["Andrew Ammerlaan" <andrewammerlaan@gentoo.org>]

commit:     b111bc689a1bbd5a7b9e82d350b9e600fc6d2190
Author:     Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
AuthorDate: Wed Jun  9 14:23:51 2021 +0000
Commit:     Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Wed Jun  9 14:25:16 2021 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=b111bc68

sci-mathematics/gappa: add version 1.4.0

Package-Manager: Portage-3.0.19, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>

 sci-mathematics/gappa/gappa-1.4.0.ebuild | 42 ++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

diff --git a/sci-mathematics/gappa/gappa-1.4.0.ebuild b/sci-mathematics/gappa/gappa-1.4.0.ebuild
new file mode 100644
index 000000000..7395c8ea3
--- /dev/null
+++ b/sci-mathematics/gappa/gappa-1.4.0.ebuild
@@ -0,0 +1,42 @@
+# 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
+}