From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id E88241387B1 for ; Mon, 21 Sep 2015 19:06:04 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 559C021C005; Mon, 21 Sep 2015 19:05:49 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id A51CA21C005 for ; Mon, 21 Sep 2015 19:05:48 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id ED4FD3408F0 for ; Mon, 21 Sep 2015 19:05:47 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 521D623D for ; Mon, 21 Sep 2015 19:05:44 +0000 (UTC) From: "Justin Lecher" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Justin Lecher" Message-ID: <1442861230.d197317f97b49a2a94aed045dab725d82bce9e7f.jlec@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/gappa/gappa-1.1.1.ebuild sci-mathematics/gappa/metadata.xml X-VCS-Directories: sci-mathematics/gappa/ X-VCS-Committer: jlec X-VCS-Committer-Name: Justin Lecher X-VCS-Revision: d197317f97b49a2a94aed045dab725d82bce9e7f X-VCS-Branch: master Date: Mon, 21 Sep 2015 19:05:44 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: cfcace47-c422-42bf-b99e-23e88b39044f X-Archives-Hash: 29e15c03ac0dbabac5be5fb6deb43190 commit: d197317f97b49a2a94aed045dab725d82bce9e7f Author: Justin Lecher gentoo org> AuthorDate: Mon Sep 21 18:47:10 2015 +0000 Commit: Justin Lecher gentoo 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 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 @@ -sci-mathematics - + sci-mathematics + 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