Browse Source

sci-mathematics/gappa: add version 1.4.0

Package-Manager: Portage-3.0.19, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
master
Andrew Ammerlaan 2 weeks ago
parent
commit
b111bc689a
No known key found for this signature in database GPG Key ID: A2E2304370447E8E
  1. 1
      sci-mathematics/gappa/Manifest
  2. 42
      sci-mathematics/gappa/gappa-1.4.0.ebuild

1
sci-mathematics/gappa/Manifest

@ -1 +1,2 @@
DIST gappa-1.3.5.tar.gz 412527 BLAKE2B cf3dc69e9ef538cda7eee42c81dfa5cdfb765967745f68dabd5937cb00ea075f6c6b1614afefe10e7dfe69377ec5ba7f5fed5e4d45b45efd4362090a0bb136cb SHA512 60b5719e3a321df43e33045fa8f4511fc02a4218d1ae7e476e7c6ebcf90ae208832881f6eea5b99a3296dfcc3a18c7e1f4ea9dbea446fc502e14306b6975f6e6
DIST gappa-1.4.0.tar.gz 387988 BLAKE2B f1c4666b3e3048686753a2cee12b64e7d8c4b2007723c364541458e127b0575836d0b831e2a837cb833b0b7d9a609ab708595ac9498d166a8ae67a566347a0f1 SHA512 fe8ee10b74a257b3df8d7c3fdb9095a10a7d5ee5af41b031d5bb9b981db00832a025bc1d6fce92f97f294fc9f3ab846531a864548e57e9fe191c79b828eb6475

42
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
}
Loading…
Cancel
Save