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

["Justin Lecher" <jlec@gentoo.org>]

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