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

["Jonathan-Christofer Demay" <jcdemay@gmail.com>]

commit:     8dd3a1cdb4707bbe93d27e4340f50875c1a5ccd6
Author:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Feb  6 14:31:23 2012 +0000
Commit:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Feb  6 14:31:23 2012 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=8dd3a1cd

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/ChangeLog
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: $
 
-*gappa-0.15.0 (25 Jun 2011)
-
-  25 Jun 2011; Justin Lecher <jlec@gentoo.org> -gappa-0.14.0.ebuild,
-  +gappa-0.15.0.ebuild:
-  Version Bump
+  21 Dec 2011; J.-C. Demay <jcdemay@gmail.com>
+  +gappa-0.15.1.ebuild, -gappa-0.14.0.ebuild:
+  version bump
 
   13 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
   +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=4
-
-ID=28594
-
-DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic"
-HOMEPAGE="http://gappa.gforge.inria.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/${ID}/${P}.tar.gz"
-
-LICENSE="|| ( CeCILL-2.0 GPL-2 )"
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
-IUSE="doc"
-
-RDEPEND="
-	dev-libs/boost
-	dev-libs/gmp
-	dev-libs/mpfr"
-DEPEND="${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         = NO/GENERATE_LATEX         = YES/g" \
-			-e "s/USE_PDFLATEX           = NO/USE_PDFLATEX           = YES/g" \
-			-e "s/PDF_HYPERLINKS         = NO/PDF_HYPERLINKS         = YES/g" || die
-	fi
-}
-
-src_compile(){
-	emake DESTDIR="/"
-
-	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="2"
+
+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"
+
+LICENSE="|| ( CeCILL-2.0 GPL-2 )"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+IUSE="doc"
+
+RDEPEND="dev-libs/gmp
+	dev-libs/mpfr
+	dev-libs/boost"
+DEPEND="${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         = NO/GENERATE_LATEX         = YES/g" \
+		-e "s/USE_PDFLATEX           = NO/USE_PDFLATEX           = YES/g" \
+		-e "s/PDF_HYPERLINKS         = NO/PDF_HYPERLINKS         = YES/g"
+}
+
+src_compile(){
+	emake DESTDIR="/" || 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="${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/metadata.xml
index c3ef8c6..b9102d9 100644
--- a/sci-mathematics/gappa/metadata.xml
+++ b/sci-mathematics/gappa/metadata.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-	<herd>sci-mathematics</herd>
+	<herd>sci</herd>
 	<longdescription>
 		Gappa is a tool intended to help verifying and formally proving
 		properties on numerical programs dealing with floating-point or