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

["Justin Lecher" <jlec@gentoo.org>]

commit:     55cc2668a40b877bdcfbd3294d219d7516e550c6
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Sat Jun 25 16:23:33 2011 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sat Jun 25 16:23:33 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=55cc2668

Version Bump

---
 sci-mathematics/gappa/ChangeLog           |    6 +++
 sci-mathematics/gappa/gappa-0.14.0.ebuild |   56 -----------------------------
 sci-mathematics/gappa/gappa-0.15.0.ebuild |   56 +++++++++++++++++++++++++++++
 3 files changed, 62 insertions(+), 56 deletions(-)

diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog
index 8175f69..c5da9be 100644
--- a/sci-mathematics/gappa/ChangeLog
+++ b/sci-mathematics/gappa/ChangeLog
@@ -2,6 +2,12 @@
 # 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
+
   13 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
   +gappa-0.14.0.ebuild, -gappa-0.13.0.ebuild:
   version bump

diff --git a/sci-mathematics/gappa/gappa-0.14.0.ebuild b/sci-mathematics/gappa/gappa-0.14.0.ebuild
deleted file mode 100644
index 1339151..0000000
--- a/sci-mathematics/gappa/gappa-0.14.0.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# 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/26856/${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/gappa-0.15.0.ebuild b/sci-mathematics/gappa/gappa-0.15.0.ebuild
new file mode 100644
index 0000000..525651f
--- /dev/null
+++ b/sci-mathematics/gappa/gappa-0.15.0.ebuild
@@ -0,0 +1,56 @@
+# 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
+}