From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from pigeon.gentoo.org ([208.92.234.80] helo=lists.gentoo.org) by finch.gentoo.org with esmtp (Exim 4.60) (envelope-from ) id 1RuPbY-0008NC-1H for garchives@archives.gentoo.org; Mon, 06 Feb 2012 14:31:40 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 2A0CFE0700; Mon, 6 Feb 2012 14:31:32 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id DD3E2E0700 for ; Mon, 6 Feb 2012 14:31:31 +0000 (UTC) Received: from pelican.gentoo.org (unknown [66.219.59.40]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 12CD31B4023 for ; Mon, 6 Feb 2012 14:31:31 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id 7FB9080043 for ; Mon, 6 Feb 2012 14:31:30 +0000 (UTC) From: "Jonathan-Christofer Demay" To: gentoo-commits@lists.gentoo.org Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Jonathan-Christofer Demay" Message-ID: <8dd3a1cdb4707bbe93d27e4340f50875c1a5ccd6.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.0.ebuild sci-mathematics/gappa/gappa-0.15.1.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: 8dd3a1cdb4707bbe93d27e4340f50875c1a5ccd6 Date: Mon, 6 Feb 2012 14:31:30 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: quoted-printable X-Archives-Salt: 409b1126-353f-4ee9-9825-165bf3ed9e33 X-Archives-Hash: 3b12b18fccdb51f2e299d14218be1270 commit: 8dd3a1cdb4707bbe93d27e4340f50875c1a5ccd6 Author: Jonathan-Christofer Demay gmail com> AuthorDate: Mon Feb 6 14:31:23 2012 +0000 Commit: Jonathan-Christofer Demay gmail com> CommitDate: Mon Feb 6 14:31:23 2012 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3D8dd3a1cd sci-mathematics/gappa: version bump --- sci-mathematics/gappa/ChangeLog | 8 ++--- sci-mathematics/gappa/gappa-0.15.0.ebuild | 56 -----------------------= ------ sci-mathematics/gappa/gappa-0.15.1.ebuild | 56 +++++++++++++++++++++++= ++++++ sci-mathematics/gappa/metadata.xml | 2 +- 4 files changed, 60 insertions(+), 62 deletions(-) diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/Chan= geLog index c5da9be..c7bc51e 100644 --- a/sci-mathematics/gappa/ChangeLog +++ b/sci-mathematics/gappa/ChangeLog @@ -2,11 +2,9 @@ # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ =20 -*gappa-0.15.0 (25 Jun 2011) - - 25 Jun 2011; Justin Lecher -gappa-0.14.0.ebuild, - +gappa-0.15.0.ebuild: - Version Bump + 21 Dec 2011; J.-C. Demay + +gappa-0.15.1.ebuild, -gappa-0.14.0.ebuild: + version bump =20 13 Feb 2011; J.-C. Demay +gappa-0.14.0.ebuild, -gappa-0.13.0.ebuild: diff --git a/sci-mathematics/gappa/gappa-0.15.0.ebuild b/sci-mathematics/= gappa/gappa-0.15.0.ebuild deleted file mode 100644 index 525651f..0000000 --- a/sci-mathematics/gappa/gappa-0.15.0.ebuild +++ /dev/null @@ -1,56 +0,0 @@ -# Copyright 1999-2011 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: $ - -EAPI=3D4 - -ID=3D28594 - -DESCRIPTION=3D"Verifying and proving properties on floating-point or fix= ed-point arithmetic" -HOMEPAGE=3D"http://gappa.gforge.inria.fr/" -SRC_URI=3D"https://gforge.inria.fr/frs/download.php/${ID}/${P}.tar.gz" - -LICENSE=3D"|| ( CeCILL-2.0 GPL-2 )" -SLOT=3D"0" -KEYWORDS=3D"~amd64 ~ppc ~sparc ~x86" -IUSE=3D"doc" - -RDEPEND=3D" - dev-libs/boost - dev-libs/gmp - dev-libs/mpfr" -DEPEND=3D"${RDEPEND} - doc? ( - app-text/texlive - app-text/ghostscript-gpl - app-doc/doxygen )" - -src_prepare() { - if use doc; then - sed \ - -i doc/doxygen/Doxyfile \ - -e "s/GENERATE_LATEX =3D NO/GENERATE_LATEX =3D YES/g"= \ - -e "s/USE_PDFLATEX =3D NO/USE_PDFLATEX =3D YES/g"= \ - -e "s/PDF_HYPERLINKS =3D NO/PDF_HYPERLINKS =3D YES/g"= || die - fi -} - -src_compile(){ - emake DESTDIR=3D"/" - - if use doc; then - cd doc/doxygen - doxygen Doxyfile || die "doxygen failed" - cd "${S}" - emake -C doc/doxygen/latex - fi -} - -src_install(){ - default - - if use doc; then - mv doc/doxygen/latex/refman.pdf ./gappa.pdf - dodoc ./gappa.pdf - fi -} diff --git a/sci-mathematics/gappa/gappa-0.15.1.ebuild b/sci-mathematics/= gappa/gappa-0.15.1.ebuild new file mode 100644 index 0000000..0fa2899 --- /dev/null +++ b/sci-mathematics/gappa/gappa-0.15.1.ebuild @@ -0,0 +1,56 @@ +# Copyright 1999-2010 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI=3D"2" + +DESCRIPTION=3D"A tool to help verifying and proving properties on floati= ng-point or fixed-point arithmetic." +HOMEPAGE=3D"http://gappa.gforge.inria.fr/" +SRC_URI=3D"http://gforge.inria.fr/frs/download.php/29004/${P}.tar.gz" + +LICENSE=3D"|| ( CeCILL-2.0 GPL-2 )" +SLOT=3D"0" +KEYWORDS=3D"~amd64 ~ppc ~sparc ~x86" +IUSE=3D"doc" + +RDEPEND=3D"dev-libs/gmp + dev-libs/mpfr + dev-libs/boost" +DEPEND=3D"${RDEPEND} + doc? ( app-text/texlive + 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 =3D NO/GENERATE_LATEX =3D YES/g" = \ + -e "s/USE_PDFLATEX =3D NO/USE_PDFLATEX =3D YES/g" = \ + -e "s/PDF_HYPERLINKS =3D NO/PDF_HYPERLINKS =3D YES/g" +} + +src_compile(){ + emake DESTDIR=3D"/" || die "emake failed" + + if use doc; then + cd doc/doxygen + doxygen Doxyfile || die "doxygen failed" + cd "${S}" + emake -C doc/doxygen/latex || die "emake doc failed" + fi +} + +src_install(){ + emake install DESTDIR=3D"${D}" || die "emake install failed" + dodoc AUTHORS NEWS README + + if use doc; then + mv doc/doxygen/latex/refman.pdf ./gappa.pdf + dodoc ./gappa.pdf + fi +} diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/m= etadata.xml index c3ef8c6..b9102d9 100644 --- a/sci-mathematics/gappa/metadata.xml +++ b/sci-mathematics/gappa/metadata.xml @@ -1,7 +1,7 @@ - sci-mathematics + sci Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or