* [gentoo-commits] proj/sci:master commit in: sci-mathematics/pff/
@ 2011-06-25 17:22 Justin Lecher
0 siblings, 0 replies; 4+ messages in thread
From: Justin Lecher @ 2011-06-25 17:22 UTC (permalink / raw
To: gentoo-commits
commit: 4a808718462eb4b2ab6a49048f15f9d91b2b63d5
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Sat Jun 25 16:46:30 2011 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sat Jun 25 16:46:30 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=4a808718
Cleaned ebuild
(Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916)
---
sci-mathematics/pff/ChangeLog | 5 ++++-
sci-mathematics/pff/pff-8.2.1.2.ebuild | 18 +++++++-----------
2 files changed, 11 insertions(+), 12 deletions(-)
diff --git a/sci-mathematics/pff/ChangeLog b/sci-mathematics/pff/ChangeLog
index 0c2af77..612adcf 100644
--- a/sci-mathematics/pff/ChangeLog
+++ b/sci-mathematics/pff/ChangeLog
@@ -1,7 +1,10 @@
# ChangeLog for sci-mathematics/pff
-# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 25 Jun 2011; Justin Lecher <jlec@gentoo.org> pff-8.2.1.2.ebuild:
+ Cleaned ebuild
+
04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
+metadata.xml, +ChangeLog:
QA fixes
diff --git a/sci-mathematics/pff/pff-8.2.1.2.ebuild b/sci-mathematics/pff/pff-8.2.1.2.ebuild
index 3e4189d..3592745 100644
--- a/sci-mathematics/pff/pff-8.2.1.2.ebuild
+++ b/sci-mathematics/pff/pff-8.2.1.2.ebuild
@@ -1,16 +1,16 @@
-# Copyright 1999-2009 Gentoo Foundation
+# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-EAPI="2"
+EAPI=4
-DESCRIPTION="Library for reasoning about floating point numbers in coq."
+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 ~sparc ~x86"
+KEYWORDS="~amd64 ~ppc ~x86"
IUSE=""
DEPEND="sci-mathematics/coq"
@@ -19,15 +19,11 @@ RDEPEND="${DEPEND}"
S="${WORKDIR}/Float"
src_prepare() {
- sed -i -e "s|\`\$(COQC) -where\`/user-contrib| \
- \$(DESTDIR)/\`\$(COQC) -where\`/user-contrib|g" Makefile
+ sed \
+ -e "s|\`\$(COQC) -where\`/user-contrib|\$(DESTDIR)/\`\$(COQC) -where\`/user-contrib|g" \
+ -i Makefile || die
}
src_compile(){
emake DESTDIR="/" || die "emake failed"
}
-
-src_install(){
- emake install DESTDIR="${D}" || die "emake install failed"
-}
-
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/pff/
@ 2012-02-06 14:37 Jonathan-Christofer Demay
0 siblings, 0 replies; 4+ messages in thread
From: Jonathan-Christofer Demay @ 2012-02-06 14:37 UTC (permalink / raw
To: gentoo-commits
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@gentoo.org> pff-8.2.1.2.ebuild:
- Cleaned ebuild
+ 21 Dec 2011; J.-C. Demay <jcdemay@gmail.com>
+ +pff-8.3.ebuild, -pff-8.2.1.2.ebuild:
+ version bump
04 Jul 2010; J.-C. Demay <jcdemay@gmail.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"
+}
+
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/pff/
@ 2013-01-14 14:10 Jonathan-Christofer Demay
0 siblings, 0 replies; 4+ messages in thread
From: Jonathan-Christofer Demay @ 2013-01-14 14:10 UTC (permalink / raw
To: gentoo-commits
commit: 75d868038d7834814bcce23e31ed16df0af7d31c
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Jan 14 14:09:13 2013 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Jan 14 14:09:13 2013 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=75d86803
sci-mathematics/pff: version bump
---
sci-mathematics/pff/ChangeLog | 6 +++++-
.../pff/{pff-8.3.ebuild => pff-8.4.ebuild} | 6 +++---
2 files changed, 8 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/pff/ChangeLog b/sci-mathematics/pff/ChangeLog
index a57d9e4..786088f 100644
--- a/sci-mathematics/pff/ChangeLog
+++ b/sci-mathematics/pff/ChangeLog
@@ -1,7 +1,11 @@
# ChangeLog for sci-mathematics/pff
-# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 14 Jan 2013; J.-C. Demay <jcdemay@gmail.com>
+ +pff-8.4.ebuild, -pff-8.3.ebuild:
+ version bump
+
21 Dec 2011; J.-C. Demay <jcdemay@gmail.com>
+pff-8.3.ebuild, -pff-8.2.1.2.ebuild:
version bump
diff --git a/sci-mathematics/pff/pff-8.3.ebuild b/sci-mathematics/pff/pff-8.4.ebuild
similarity index 84%
rename from sci-mathematics/pff/pff-8.3.ebuild
rename to sci-mathematics/pff/pff-8.4.ebuild
index bd9fb77..9284b37 100644
--- a/sci-mathematics/pff/pff-8.3.ebuild
+++ b/sci-mathematics/pff/pff-8.4.ebuild
@@ -1,12 +1,12 @@
-# Copyright 1999-2009 Gentoo Foundation
+# Copyright 1999-2013 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."
+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"
+SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/165/Float${PV}.tgz"
LICENSE="LGPL-2"
SLOT="0"
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/pff/
@ 2014-09-16 17:01 Christoph Junghans
0 siblings, 0 replies; 4+ messages in thread
From: Christoph Junghans @ 2014-09-16 17:01 UTC (permalink / raw
To: gentoo-commits
commit: e6760bd0aa6ced12cb03aa97852b928676452c41
Author: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
AuthorDate: Tue Sep 16 16:56:53 2014 +0000
Commit: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
CommitDate: Tue Sep 16 16:56:53 2014 +0000
URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=e6760bd0
clean up
Package-Manager: portage-2.2.8-r1
---
sci-mathematics/pff/ChangeLog | 4 +++-
sci-mathematics/pff/pff-8.4.ebuild | 5 ++---
2 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/pff/ChangeLog b/sci-mathematics/pff/ChangeLog
index f4ba1e3..bb405d7 100644
--- a/sci-mathematics/pff/ChangeLog
+++ b/sci-mathematics/pff/ChangeLog
@@ -2,6 +2,9 @@
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 16 Sep 2014; Christoph Junghans <ottxor@gentoo.org> pff-8.4.ebuild:
+ clean up
+
21 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com>
pff-8.4.ebuild:
install fixes
@@ -21,4 +24,3 @@
04 Jul 2010; Jonathan-Christofer Demay <jcdemay@gmail.com>
+metadata.xml, +ChangeLog:
QA fixes
-
diff --git a/sci-mathematics/pff/pff-8.4.ebuild b/sci-mathematics/pff/pff-8.4.ebuild
index 5f0306d..de19506 100644
--- a/sci-mathematics/pff/pff-8.4.ebuild
+++ b/sci-mathematics/pff/pff-8.4.ebuild
@@ -25,10 +25,9 @@ src_prepare() {
}
src_compile(){
- emake || die "emake failed"
+ emake
}
src_install(){
- emake install DSTROOT="${D}" || die "emake install failed"
+ emake install DSTROOT="${D}"
}
-
^ permalink raw reply related [flat|nested] 4+ messages in thread
end of thread, other threads:[~2014-09-16 17:01 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-01-14 14:10 [gentoo-commits] proj/sci:master commit in: sci-mathematics/pff/ Jonathan-Christofer Demay
-- strict thread matches above, loose matches on Subject: below --
2014-09-16 17:01 Christoph Junghans
2012-02-06 14:37 Jonathan-Christofer Demay
2011-06-25 17:22 Justin Lecher
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox