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 +}
