From b4e5614dff3eb217b5b60e9ce9653b20fc2a03df Mon Sep 17 00:00:00 2001
From: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Fri, 16 Oct 2009 15:33:36 +0000
Subject: sci-mathematics/gappa(lib-coq): bump version to 0.12(.1)

---
 sci-mathematics/gappa/Manifest            |  4 +--
 sci-mathematics/gappa/gappa-0.11.0.ebuild | 55 -------------------------------
 sci-mathematics/gappa/gappa-0.12.1.ebuild | 55 +++++++++++++++++++++++++++++++
 3 files changed, 57 insertions(+), 57 deletions(-)
 delete mode 100644 sci-mathematics/gappa/gappa-0.11.0.ebuild
 create mode 100644 sci-mathematics/gappa/gappa-0.12.1.ebuild

(limited to 'sci-mathematics/gappa')

diff --git a/sci-mathematics/gappa/Manifest b/sci-mathematics/gappa/Manifest
index ad61f650d..848ec3985 100644
--- a/sci-mathematics/gappa/Manifest
+++ b/sci-mathematics/gappa/Manifest
@@ -1,2 +1,2 @@
-DIST gappa-0.11.0.tar.gz 241040 RMD160 ed6197ba8a9ab3b20ea77bce8d44d7ad6b3974dc SHA1 91cc38cccf214280911aba50744b3dc40e397580 SHA256 cd129fe7586f29dbb62d5d4e200362c84d83af2735f69cc4f113fe2910410171
-EBUILD gappa-0.11.0.ebuild 1313 RMD160 56cd02144c4b35f5a9546e6fc1fdbe9bc6062ca6 SHA1 1aabbd1abd5af060bb44b3cdd7ef2c48b48cc504 SHA256 f6e35474f467d01673b814bfe360b8a7714a7e85ce9b8b46e450843801ae11b5
+DIST gappa-0.12.1.tar.gz 250015 RMD160 0809d73801636ee649324f951db72c58bb74a65a SHA1 b01ba7bf5e915b5c0f25eb34ad6a52e4ede09b10 SHA256 287c9ba0186319a1e7e353fa7955ffaf1f1f13941d2605d4ca078b8f260e13cd
+EBUILD gappa-0.12.1.ebuild 1301 RMD160 2016153dc74006e9d7d410d590dd9f3f328f62fc SHA1 27f787bd511e0722f29406a5590b5a895be89cf0 SHA256 e9b704031f4516c5d28f6b7280d0d86f85b9b48386bcf45ac6bd2fa3457c3a73
diff --git a/sci-mathematics/gappa/gappa-0.11.0.ebuild b/sci-mathematics/gappa/gappa-0.11.0.ebuild
deleted file mode 100644
index c742352ac..000000000
--- a/sci-mathematics/gappa/gappa-0.11.0.ebuild
+++ /dev/null
@@ -1,55 +0,0 @@
-# Copyright 1999-2009 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: Exp $
-
-DESCRIPTION="A tool to help verifying and proving properties on floating-point or fixed-point arithmetic."
-HOMEPAGE="http://lipforge.ens-lyon.fr/www/gappa/"
-SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/150/${P}.tar.gz"
-
-LICENSE="CeCILL 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}
-	cd ${S}
-	
-	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(){
-	econf || die "econf failed"
-	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.12.1.ebuild b/sci-mathematics/gappa/gappa-0.12.1.ebuild
new file mode 100644
index 000000000..48a39de92
--- /dev/null
+++ b/sci-mathematics/gappa/gappa-0.12.1.ebuild
@@ -0,0 +1,55 @@
+# Copyright 1999-2009 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: Exp $
+
+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/23429/${P}.tar.gz"
+
+LICENSE="CeCILL 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}
+	cd ${S}
+	
+	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(){
+	econf || die "econf failed"
+	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
+}
+
-- 
cgit v1.2.3-65-gdbad