sci-mathematics/gappa: version bump

5 files changed, 64 insertions, 63 deletions

diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog
index c5da9beb7..c7bc51e76 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/Manifest b/sci-mathematics/gappa/Manifest
index cf81defc5..28f7da6ea 100644
--- a/sci-mathematics/gappa/Manifest
+++ b/sci-mathematics/gappa/Manifest
@@ -1 +1,4 @@
-DIST gappa-0.15.0.tar.gz 396853 RMD160 d88d4554d3a37e8709ca20e726c2140125b178d9 SHA1 c34f0f5864307c572577cd67878d25a2fd57230c SHA256 358c00667ba2cf021cf41103f4013f50dc1428e4125624cdac2007bd022f376a
+DIST gappa-0.15.1.tar.gz 396586 RMD160 3bb3cb1f0c55483a2639ef2e7bc359fbbe91a77b SHA1 7ad3e0100b4d4346623fe09075dfc17571b20039 SHA256 2ce06fe8db9355f471485ba6365c1fca79637396ddd81bd22beb574b74663e50
+EBUILD gappa-0.15.1.ebuild 1319 RMD160 47a71b7c234725c9009ec727a54d1751d98e2d99 SHA1 d5f1ba1c4f84ae160fff606a7501c8405769baad SHA256 b68810d88b3fa8acb9bf89181c2fb922dfefc2adfa051a9fb1afbfd7c074747a
+MISC ChangeLog 723 RMD160 dd3202aa70a48621307b84cb3d228088c95f957b SHA1 d8581be0e8ccb8045433c4f3ab36f79714e6e906 SHA256 8cefc1350237ec6229c23d76d4e41884a34d3eb1ca499c62ec98590ec5377511
+MISC metadata.xml 542 RMD160 9e7e7c72c403c90ed49ad797d4810b3cdef4b1d1 SHA1 e164614670cda7a42656824856e56297e5b4e85a SHA256 3ec0a6e959d961e8eb7c8a357c7cdd563c4fcff7ed717b2d7c734c76fa0b7cd7
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 525651f73..000000000
--- 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 000000000..0fa2899c7
--- /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 c3ef8c649..b9102d9f2 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