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

[Jonathan-Christofer Demay]

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

sci-mathematics/pff: version bump

---
 sci-mathematics/pff/ChangeLog          |    7 +++--
 sci-mathematics/pff/metadata.xml       |    2 +-
 sci-mathematics/pff/pff-8.2.1.2.ebuild |   29 ----------------------------
 sci-mathematics/pff/pff-8.3.ebuild     |   33 ++++++++++++++++++++++++++++++++
 4 files changed, 38 insertions(+), 33 deletions(-)

diff --git a/sci-mathematics/pff/ChangeLog b/sci-mathematics/pff/ChangeLog
index 612adcf..a57d9e4 100644
--- a/sci-mathematics/pff/ChangeLog
+++ b/sci-mathematics/pff/ChangeLog
@@ -1,9 +1,10 @@
 # ChangeLog for sci-mathematics/pff
-# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
-  25 Jun 2011; Justin Lecher <jlec@g.o> pff-8.2.1.2.ebuild:
-  Cleaned ebuild
+  21 Dec 2011; J.-C. Demay <jcdemay@×××××.com>
+  +pff-8.3.ebuild, -pff-8.2.1.2.ebuild:
+  version bump
 
   04 Jul 2010; J.-C. Demay <jcdemay@×××××.com>
   +metadata.xml, +ChangeLog:

diff --git a/sci-mathematics/pff/metadata.xml b/sci-mathematics/pff/metadata.xml
index 5b96dbf..edab690 100644
--- a/sci-mathematics/pff/metadata.xml
+++ b/sci-mathematics/pff/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>
 		PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats)
 		is a repository of a Coq library about floating-point arithmetic. It

diff --git a/sci-mathematics/pff/pff-8.2.1.2.ebuild b/sci-mathematics/pff/pff-8.2.1.2.ebuild
deleted file mode 100644
index 3592745..0000000
--- a/sci-mathematics/pff/pff-8.2.1.2.ebuild
+++ /dev/null
@@ -1,29 +0,0 @@
-# Copyright 1999-2011 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI=4
-
-DESCRIPTION="Library for reasoning about floating point numbers in coq"
-HOMEPAGE="http://lipforge.ens-lyon.fr/www/pff/"
-SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/147/Float${PV/%????/}-${PV/#????/}.tgz"
-
-LICENSE="LGPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE=""
-
-DEPEND="sci-mathematics/coq"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/Float"
-
-src_prepare() {
-	sed \
-		-e "s|\`\$(COQC) -where\`/user-contrib|\$(DESTDIR)/\`\$(COQC) -where\`/user-contrib|g" \
-		-i Makefile || die
-}
-
-src_compile(){
-	emake DESTDIR="/" || die "emake failed"
-}

diff --git a/sci-mathematics/pff/pff-8.3.ebuild b/sci-mathematics/pff/pff-8.3.ebuild
new file mode 100644
index 0000000..bd9fb77
--- /dev/null
+++ b/sci-mathematics/pff/pff-8.3.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2009 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI="2"
+
+DESCRIPTION="Library for reasoning about floating point numbers in coq."
+HOMEPAGE="http://lipforge.ens-lyon.fr/www/pff/"
+SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/163/Float${PV}.tgz"
+
+LICENSE="LGPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+IUSE=""
+
+DEPEND="sci-mathematics/coq"
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/Float${PV}"
+
+src_prepare() {
+	sed -i -e "s|\`\$(COQC) -where\`/user-contrib| \
+		\$(DESTDIR)/\`\$(COQC) -where\`/user-contrib|g" Makefile
+}
+
+src_compile(){
+	emake DESTDIR="/" || die "emake failed"
+}
+
+src_install(){
+	emake install DESTDIR="${D}" || die "emake install failed"
+}
+