commit: 82e6bf6bd0f7df08909b1f1bb5031907b13428cc Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net> AuthorDate: Thu Mar 4 12:03:47 2021 +0000 Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net> CommitDate: Thu Mar 4 12:03:47 2021 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=82e6bf6b
sci-mathematics/gappa: version bump 1.3.5, EAPI bump Package-Manager: Portage-3.0.16, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net> sci-mathematics/gappa/gappa-1.3.5.ebuild | 41 ++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/sci-mathematics/gappa/gappa-1.3.5.ebuild b/sci-mathematics/gappa/gappa-1.3.5.ebuild new file mode 100644 index 000000000..26461a439 --- /dev/null +++ b/sci-mathematics/gappa/gappa-1.3.5.ebuild @@ -0,0 +1,41 @@ +# 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/* +}
