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 92C6E138486 for ; Mon, 14 Jan 2013 14:11:13 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 90F0921C06C; Mon, 14 Jan 2013 14:10:56 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 0B23721C05A for ; Mon, 14 Jan 2013 14:10:55 +0000 (UTC) Received: from hornbill.gentoo.org (hornbill.gentoo.org [94.100.119.163]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id F1C7533DAB9 for ; Mon, 14 Jan 2013 14:10:54 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by hornbill.gentoo.org (Postfix) with ESMTP id 897E1E408C for ; Mon, 14 Jan 2013 14:10:52 +0000 (UTC) From: "Jonathan-Christofer Demay" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Jonathan-Christofer Demay" Message-ID: <1358172456.f931cd60440cfe6fa6d087ee242fd510b3d9f789.jcdemay@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/gappa/ChangeLog sci-mathematics/gappa/gappa-0.15.1.ebuild sci-mathematics/gappa/gappa-0.16.3.ebuild sci-mathematics/gappa/metadata.xml X-VCS-Directories: sci-mathematics/gappa/ X-VCS-Committer: jcdemay X-VCS-Committer-Name: Jonathan-Christofer Demay X-VCS-Revision: f931cd60440cfe6fa6d087ee242fd510b3d9f789 X-VCS-Branch: master Date: Mon, 14 Jan 2013 14:10:52 +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: 70bc69e4-2b9f-43c3-bc7b-0a471c89ba47 X-Archives-Hash: cb11425f24c65b4385f32409cdb881a6 commit: f931cd60440cfe6fa6d087ee242fd510b3d9f789 Author: Jonathan-Christofer Demay gmail com> AuthorDate: Mon Jan 14 14:07:36 2013 +0000 Commit: Jonathan-Christofer Demay gmail com> CommitDate: Mon Jan 14 14:07:36 2013 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=f931cd60 sci-mathematics/gappa: version bump --- sci-mathematics/gappa/ChangeLog | 6 +++++- .../{gappa-0.15.1.ebuild => gappa-0.16.3.ebuild} | 12 +++--------- sci-mathematics/gappa/metadata.xml | 3 +++ 3 files changed, 11 insertions(+), 10 deletions(-) diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog index c7bc51e..225b008 100644 --- a/sci-mathematics/gappa/ChangeLog +++ b/sci-mathematics/gappa/ChangeLog @@ -1,7 +1,11 @@ # ChangeLog for sci-mathematics/gappa -# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ + 14 Jan 2013; J.-C. Demay + +gappa-0.16.3.ebuild, -gappa-0.15.1.ebuild: + version bump + 21 Dec 2011; J.-C. Demay +gappa-0.15.1.ebuild, -gappa-0.14.0.ebuild: version bump diff --git a/sci-mathematics/gappa/gappa-0.15.1.ebuild b/sci-mathematics/gappa/gappa-0.16.3.ebuild similarity index 83% rename from sci-mathematics/gappa/gappa-0.15.1.ebuild rename to sci-mathematics/gappa/gappa-0.16.3.ebuild index 0fa2899..0112d0c 100644 --- a/sci-mathematics/gappa/gappa-0.15.1.ebuild +++ b/sci-mathematics/gappa/gappa-0.16.3.ebuild @@ -1,12 +1,12 @@ -# Copyright 1999-2010 Gentoo Foundation +# Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ EAPI="2" -DESCRIPTION="A tool to help verifying and proving properties on floating-point or fixed-point arithmetic." +DESCRIPTION="A tool to help 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/29004/${P}.tar.gz" +SRC_URI="http://gforge.inria.fr/frs/download.php/31927/${P}.tar.gz" LICENSE="|| ( CeCILL-2.0 GPL-2 )" SLOT="0" @@ -21,12 +21,6 @@ DEPEND="${RDEPEND} app-text/ghostscript-gpl app-doc/doxygen )" -src_unpack() { - unpack ${A} - mv ${S/%0.14.0/0.13.0} ${S} - cd ${S} -} - src_prepare() { sed -i doc/doxygen/Doxyfile \ -e "s/GENERATE_LATEX = NO/GENERATE_LATEX = YES/g" \ diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml index b9102d9..5f9d1b7 100644 --- a/sci-mathematics/gappa/metadata.xml +++ b/sci-mathematics/gappa/metadata.xml @@ -12,4 +12,7 @@ sci@gentoo.org + + ?doc? +