commit: d197317f97b49a2a94aed045dab725d82bce9e7f Author: Justin Lecher <jlec <AT> gentoo <DOT> org> AuthorDate: Mon Sep 21 18:47:10 2015 +0000 Commit: Justin Lecher <jlec <AT> gentoo <DOT> org> CommitDate: Mon Sep 21 18:47:10 2015 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=d197317f
sci-mathematics/gappa: Add subslot operators Package-Manager: portage-2.2.20.1 Signed-off-by: Justin Lecher <jlec <AT> gentoo.org> sci-mathematics/gappa/gappa-1.1.1.ebuild | 15 ++++++++------- sci-mathematics/gappa/metadata.xml | 4 ++-- 2 files changed, 10 insertions(+), 9 deletions(-) diff --git a/sci-mathematics/gappa/gappa-1.1.1.ebuild b/sci-mathematics/gappa/gappa-1.1.1.ebuild index 83b353f..e6060f3 100644 --- a/sci-mathematics/gappa/gappa-1.1.1.ebuild +++ b/sci-mathematics/gappa/gappa-1.1.1.ebuild @@ -1,10 +1,10 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ EAPI="5" -DESCRIPTION="A tool to help verifying and proving properties on floating-point or fixed-point arithmetic" +DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic" HOMEPAGE="http://gappa.gforge.inria.fr/"; SRC_URI="http://gforge.inria.fr/frs/download.php/33486/${P}.tar.gz"; @@ -13,11 +13,12 @@ SLOT="0" KEYWORDS="~amd64 ~x86" IUSE="doc" -RDEPEND="dev-libs/gmp - dev-libs/mpfr - dev-libs/boost" +RDEPEND=" + dev-libs/gmp:0= + dev-libs/mpfr:0= + dev-libs/boost" DEPEND="${RDEPEND} - doc? ( app-doc/doxygen )" + doc? ( app-doc/doxygen )" src_prepare() { sed -i Remakefile.in \ @@ -33,7 +34,7 @@ src_compile() { } src_install() { - DESTDIR="${D}" ./remake install || die "emake install failed" + DESTDIR="${D}" ./remake install dodoc NEWS README AUTHORS ChangeLog use doc && dohtml -A png -r doc/html/* } diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml index 2b01d6b..01e567d 100644 --- a/sci-mathematics/gappa/metadata.xml +++ b/sci-mathematics/gappa/metadata.xml @@ -1,8 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> -<herd>sci-mathematics</herd> -<longdescription> + <herd>sci-mathematics</herd> + <longdescription> Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It has been used to write robust floating-point
