* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2011-05-11 23:50 Jonathan-Christofer Demay
0 siblings, 0 replies; 14+ messages in thread
From: Jonathan-Christofer Demay @ 2011-05-11 23:50 UTC (permalink / raw
To: gentoo-commits
commit: 780490c40f01fcf50c2b179122be8eeca2c6b3e2
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Wed May 11 23:49:37 2011 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Wed May 11 23:49:37 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=780490c4
sci-mathematics/flocq: version bump
---
sci-mathematics/flocq/ChangeLog | 6 +++++-
.../flocq/{flocq-1.2.ebuild => flocq-1.4.0.ebuild} | 2 +-
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog
index cf1dbf8..28ee4cc 100644
--- a/sci-mathematics/flocq/ChangeLog
+++ b/sci-mathematics/flocq/ChangeLog
@@ -1,7 +1,11 @@
-# ChangeLog for sci-mathematics/gappa
+# ChangeLog for sci-mathematics/flocq
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 06 May 2011; J.-C. Demay <jcdemay@gmail.com>
+ -flocq-1.2.ebuild, +flocq-1.4.0.ebuild:
+ version bump
+
13 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
+metadata.xml, +ChangeLog:
QA fixes
diff --git a/sci-mathematics/flocq/flocq-1.2.ebuild b/sci-mathematics/flocq/flocq-1.4.0.ebuild
similarity index 89%
rename from sci-mathematics/flocq/flocq-1.2.ebuild
rename to sci-mathematics/flocq/flocq-1.4.0.ebuild
index 2df67f5..734992f 100644
--- a/sci-mathematics/flocq/flocq-1.2.ebuild
+++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild
@@ -8,7 +8,7 @@ EAPI="2"
DESCRIPTION="A floating-point formalization for the Coq system."
HOMEPAGE="http://flocq.gforge.inria.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/28156/${P}.tar.gz"
+SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz"
LICENSE="LGPL-3"
SLOT="0"
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2023-01-03 19:09 Andrew Ammerlaan
0 siblings, 0 replies; 14+ messages in thread
From: Andrew Ammerlaan @ 2023-01-03 19:09 UTC (permalink / raw
To: gentoo-commits
commit: d561f30ffcf439e71ac081f8d633271ecda588ae
Author: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 3 19:07:53 2023 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Tue Jan 3 19:07:53 2023 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=d561f30f
sci-mathematics/flocq: treeclean
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>
sci-mathematics/flocq/flocq-3.4.0-r1.ebuild | 37 -----------------------------
sci-mathematics/flocq/metadata.xml | 14 -----------
2 files changed, 51 deletions(-)
diff --git a/sci-mathematics/flocq/flocq-3.4.0-r1.ebuild b/sci-mathematics/flocq/flocq-3.4.0-r1.ebuild
deleted file mode 100644
index f0e6c73a8..000000000
--- a/sci-mathematics/flocq/flocq-3.4.0-r1.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit multiprocessing
-
-DESCRIPTION="A floating-point formalization for the Coq system"
-HOMEPAGE="http://flocq.gforge.inria.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/38385/${P}.tar.gz"
-
-LICENSE="LGPL-3"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-DEPEND=">=sci-mathematics/coq-8.7"
-RDEPEND="${DEPEND}"
-
-src_prepare() {
- default
- sed -i Remakefile.in \
- -e "s:mkdir -p @libdir@:mkdir -p \${DESTDIR}@libdir@:g" \
- -e "s:cp \$f @libdir@:cp \$f \${DESTDIR}@libdir@:g"
-}
-
-src_configure() {
- econf --libdir="`coqc -where`/user-contrib/Flocq"
-}
-
-src_compile() {
- ./remake --jobs=$(makeopts_jobs) || die "emake failed"
-}
-
-src_install() {
- DESTDIR="${D}" ./remake install || die
- einstalldocs
-}
diff --git a/sci-mathematics/flocq/metadata.xml b/sci-mathematics/flocq/metadata.xml
deleted file mode 100644
index de5ba354b..000000000
--- a/sci-mathematics/flocq/metadata.xml
+++ /dev/null
@@ -1,14 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
- <maintainer type="project">
- <email>sci-mathematics@gentoo.org</email>
- <name>Gentoo Mathematics Project</name>
- </maintainer>
- <longdescription>
-Flocq (Floats for Coq) is a floating-point formalization for the Coq
-system. It provides a comprehensive library of theorems on a multi-radix
-multi-precision arithmetic. It also supports efficient numerical
-computations inside Coq.
-</longdescription>
-</pkgmetadata>
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2021-08-06 8:38 Andrew Ammerlaan
0 siblings, 0 replies; 14+ messages in thread
From: Andrew Ammerlaan @ 2021-08-06 8:38 UTC (permalink / raw
To: gentoo-commits
commit: fa7a1d7e6126d198b5e01ba98dd44b965f403aaa
Author: Lucas Mitrak <lucas <AT> lucasmitrak <DOT> com>
AuthorDate: Thu Aug 5 21:10:07 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Fri Aug 6 08:38:37 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=fa7a1d7e
sci-mathematics/flocq: EAPI bump, add multiprocessing to remake
* EAPI bump from 7 to 8
* Add multiprocessing to remake using the $(makeopts_jobs) variable
Currently, sci-mathematics/flocq does not have multiprocessing even
though the homepage [1] states this is available. This is done by
adding --jobs=$(makeopts_jobs) to remake. the makeopts_jobs
variable comes from the multiprocessing eclass.
[1] http://flocq.gforge.inria.fr/
Package-Manager: Portage-3.0.20, Repoman-3.0.2
Signed-off-by: Lucas Mitrak <lucas <AT> lucasmitrak.com>
Closes: https://github.com/gentoo/sci/pull/1107
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>
sci-mathematics/flocq/{flocq-3.4.0.ebuild => flocq-3.4.0-r1.ebuild} | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/flocq/flocq-3.4.0.ebuild b/sci-mathematics/flocq/flocq-3.4.0-r1.ebuild
similarity index 89%
rename from sci-mathematics/flocq/flocq-3.4.0.ebuild
rename to sci-mathematics/flocq/flocq-3.4.0-r1.ebuild
index e629d5628..f0e6c73a8 100644
--- a/sci-mathematics/flocq/flocq-3.4.0.ebuild
+++ b/sci-mathematics/flocq/flocq-3.4.0-r1.ebuild
@@ -1,7 +1,9 @@
# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=7
+EAPI=8
+
+inherit multiprocessing
DESCRIPTION="A floating-point formalization for the Coq system"
HOMEPAGE="http://flocq.gforge.inria.fr/"
@@ -26,7 +28,7 @@ src_configure() {
}
src_compile() {
- ./remake || die "emake failed"
+ ./remake --jobs=$(makeopts_jobs) || die "emake failed"
}
src_install() {
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2021-03-04 12:09 Andrew Ammerlaan
0 siblings, 0 replies; 14+ messages in thread
From: Andrew Ammerlaan @ 2021-03-04 12:09 UTC (permalink / raw
To: gentoo-commits
commit: 606d4da69e97585019350e04a2d50537bf3f6906
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Thu Mar 4 12:05:28 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Thu Mar 4 12:05:28 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=606d4da6
sci-mathematics/flocq: drop old
Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
sci-mathematics/flocq/flocq-2.3.0.ebuild | 35 --------------------------------
1 file changed, 35 deletions(-)
diff --git a/sci-mathematics/flocq/flocq-2.3.0.ebuild b/sci-mathematics/flocq/flocq-2.3.0.ebuild
deleted file mode 100644
index d875e9186..000000000
--- a/sci-mathematics/flocq/flocq-2.3.0.ebuild
+++ /dev/null
@@ -1,35 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-DESCRIPTION="A floating-point formalization for the Coq system"
-HOMEPAGE="http://flocq.gforge.inria.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/33502/${P}.tar.gz"
-
-LICENSE="LGPL-3"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-DEPEND="sci-mathematics/coq"
-RDEPEND="${DEPEND}"
-
-src_prepare() {
- sed -i Remakefile.in \
- -e "s:mkdir -p @libdir@:mkdir -p \${DESTDIR}@libdir@:g" \
- -e "s:cp \$f @libdir@:cp \$f \${DESTDIR}@libdir@:g"
-}
-
-src_configure() {
- econf --libdir="`coqc -where`/user-contrib/Flocq"
-}
-
-src_compile() {
- ./remake || die "emake failed"
-}
-
-src_install() {
- DESTDIR="${D}" ./remake install || die
- dodoc NEWS README AUTHORS ChangeLog
-}
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2021-03-04 12:09 Andrew Ammerlaan
0 siblings, 0 replies; 14+ messages in thread
From: Andrew Ammerlaan @ 2021-03-04 12:09 UTC (permalink / raw
To: gentoo-commits
commit: 2e461f069f5aaa8e5968b698ace996a3add02888
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Thu Mar 4 12:05:17 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Thu Mar 4 12:05:17 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=2e461f06
sci-mathematics/flocq: version bump 3.4.0
Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
sci-mathematics/flocq/flocq-3.4.0.ebuild | 35 ++++++++++++++++++++++++++++++++
1 file changed, 35 insertions(+)
diff --git a/sci-mathematics/flocq/flocq-3.4.0.ebuild b/sci-mathematics/flocq/flocq-3.4.0.ebuild
new file mode 100644
index 000000000..e629d5628
--- /dev/null
+++ b/sci-mathematics/flocq/flocq-3.4.0.ebuild
@@ -0,0 +1,35 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+DESCRIPTION="A floating-point formalization for the Coq system"
+HOMEPAGE="http://flocq.gforge.inria.fr/"
+SRC_URI="https://gforge.inria.fr/frs/download.php/file/38385/${P}.tar.gz"
+
+LICENSE="LGPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+DEPEND=">=sci-mathematics/coq-8.7"
+RDEPEND="${DEPEND}"
+
+src_prepare() {
+ default
+ sed -i Remakefile.in \
+ -e "s:mkdir -p @libdir@:mkdir -p \${DESTDIR}@libdir@:g" \
+ -e "s:cp \$f @libdir@:cp \$f \${DESTDIR}@libdir@:g"
+}
+
+src_configure() {
+ econf --libdir="`coqc -where`/user-contrib/Flocq"
+}
+
+src_compile() {
+ ./remake || die "emake failed"
+}
+
+src_install() {
+ DESTDIR="${D}" ./remake install || die
+ einstalldocs
+}
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2014-09-16 17:01 Christoph Junghans
0 siblings, 0 replies; 14+ messages in thread
From: Christoph Junghans @ 2014-09-16 17:01 UTC (permalink / raw
To: gentoo-commits
commit: fe51eafebcd2e5326c5a4f5d3c54012459fc49cf
Author: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
AuthorDate: Tue Sep 16 16:51:50 2014 +0000
Commit: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
CommitDate: Tue Sep 16 16:51:50 2014 +0000
URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=fe51eafe
readded die on remake
Package-Manager: portage-2.2.8-r1
---
sci-mathematics/flocq/ChangeLog | 3 +++
sci-mathematics/flocq/flocq-2.3.0.ebuild | 2 +-
2 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog
index e0f23aa..f580a5c 100644
--- a/sci-mathematics/flocq/ChangeLog
+++ b/sci-mathematics/flocq/ChangeLog
@@ -3,6 +3,9 @@
# $Header: $
16 Sep 2014; Christoph Junghans <ottxor@gentoo.org> flocq-2.3.0.ebuild:
+ readded die on remake
+
+ 16 Sep 2014; Christoph Junghans <ottxor@gentoo.org> flocq-2.3.0.ebuild:
clean up
21 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com>
diff --git a/sci-mathematics/flocq/flocq-2.3.0.ebuild b/sci-mathematics/flocq/flocq-2.3.0.ebuild
index b77ea19..f246b2e 100644
--- a/sci-mathematics/flocq/flocq-2.3.0.ebuild
+++ b/sci-mathematics/flocq/flocq-2.3.0.ebuild
@@ -31,6 +31,6 @@ src_compile() {
}
src_install() {
- DESTDIR="${D}" ./remake install
+ DESTDIR="${D}" ./remake install || die
dodoc NEWS README AUTHORS ChangeLog
}
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2014-09-16 17:01 Christoph Junghans
0 siblings, 0 replies; 14+ messages in thread
From: Christoph Junghans @ 2014-09-16 17:01 UTC (permalink / raw
To: gentoo-commits
commit: b626c173514306fd782e756fa7bd4754f127a38e
Author: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
AuthorDate: Tue Sep 16 16:47:32 2014 +0000
Commit: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
CommitDate: Tue Sep 16 16:47:32 2014 +0000
URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=b626c173
clean up
Package-Manager: portage-2.2.8-r1
---
sci-mathematics/flocq/ChangeLog | 4 +++-
sci-mathematics/flocq/flocq-2.3.0.ebuild | 3 +--
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog
index 2f56c98..e0f23aa 100644
--- a/sci-mathematics/flocq/ChangeLog
+++ b/sci-mathematics/flocq/ChangeLog
@@ -2,6 +2,9 @@
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 16 Sep 2014; Christoph Junghans <ottxor@gentoo.org> flocq-2.3.0.ebuild:
+ clean up
+
21 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com>
-flocq-2.1.0.ebuild, +flocq-2.3.0.ebuild:
version bump
@@ -21,4 +24,3 @@
13 Feb 2011; Jonathan-Christofer Demay <jcdemay@gmail.com>
+metadata.xml, +ChangeLog:
QA fixes
-
diff --git a/sci-mathematics/flocq/flocq-2.3.0.ebuild b/sci-mathematics/flocq/flocq-2.3.0.ebuild
index b821ae8..b77ea19 100644
--- a/sci-mathematics/flocq/flocq-2.3.0.ebuild
+++ b/sci-mathematics/flocq/flocq-2.3.0.ebuild
@@ -31,7 +31,6 @@ src_compile() {
}
src_install() {
- DESTDIR="${D}" ./remake install || die "emake install failed"
+ DESTDIR="${D}" ./remake install
dodoc NEWS README AUTHORS ChangeLog
}
-
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2013-01-14 14:10 Jonathan-Christofer Demay
0 siblings, 0 replies; 14+ messages in thread
From: Jonathan-Christofer Demay @ 2013-01-14 14:10 UTC (permalink / raw
To: gentoo-commits
commit: 224ea062e4ab5f551784b097e2752a68d03310d6
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Jan 14 14:06:23 2013 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Jan 14 14:06:23 2013 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=224ea062
sci-mathematics/flocq: version bump
---
sci-mathematics/flocq/ChangeLog | 6 +++++-
.../{flocq-1.4.0.ebuild => flocq-2.1.0.ebuild} | 4 ++--
2 files changed, 7 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog
index 28ee4cc..1fd051c 100644
--- a/sci-mathematics/flocq/ChangeLog
+++ b/sci-mathematics/flocq/ChangeLog
@@ -1,7 +1,11 @@
# ChangeLog for sci-mathematics/flocq
-# Copyright 1999-2011 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>
+ -flocq-1.4.0.ebuild, +flocq-2.1.0.ebuild:
+ version bump
+
06 May 2011; J.-C. Demay <jcdemay@gmail.com>
-flocq-1.2.ebuild, +flocq-1.4.0.ebuild:
version bump
diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/flocq/flocq-2.1.0.ebuild
similarity index 82%
rename from sci-mathematics/flocq/flocq-1.4.0.ebuild
rename to sci-mathematics/flocq/flocq-2.1.0.ebuild
index 006e11f..6bd5490 100644
--- a/sci-mathematics/flocq/flocq-1.4.0.ebuild
+++ b/sci-mathematics/flocq/flocq-2.1.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -6,7 +6,7 @@ EAPI="3"
DESCRIPTION="A floating-point formalization for the Coq system."
HOMEPAGE="http://flocq.gforge.inria.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz"
+SRC_URI="https://gforge.inria.fr/frs/download.php/30884/${P}.tar.gz"
LICENSE="LGPL-3"
SLOT="0"
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2012-05-13 22:23 Jonathan-Christofer Demay
0 siblings, 0 replies; 14+ messages in thread
From: Jonathan-Christofer Demay @ 2012-05-13 22:23 UTC (permalink / raw
To: gentoo-commits
commit: d0e8832d301b8afba2909400d340b8f6b1b63bd1
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon May 14 00:08:27 2012 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon May 14 00:08:27 2012 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=d0e8832d
sci-mathematics/flocq: QA fixe
---
sci-mathematics/flocq/flocq-1.4.0.ebuild | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/flocq/flocq-1.4.0.ebuild
index 56c8e26..006e11f 100644
--- a/sci-mathematics/flocq/flocq-1.4.0.ebuild
+++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2011 Gentoo Foundation
+# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -10,7 +10,7 @@ SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz"
LICENSE="LGPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ~ppc ~x86"
IUSE=""
DEPEND="sci-mathematics/coq"
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2012-05-13 22:21 Jonathan-Christofer Demay
0 siblings, 0 replies; 14+ messages in thread
From: Jonathan-Christofer Demay @ 2012-05-13 22:21 UTC (permalink / raw
To: gentoo-commits
commit: 8898b49a90c8b4d38a3a8f4523a6d074e82dba97
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon May 14 00:06:04 2012 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon May 14 00:06:04 2012 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=8898b49a
sci-mathematics/flocq: Various QA fixes
---
sci-mathematics/flocq/ChangeLog | 5 +----
sci-mathematics/flocq/flocq-1.4.0.ebuild | 8 ++++----
2 files changed, 5 insertions(+), 8 deletions(-)
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog
index 3afd8eb..28ee4cc 100644
--- a/sci-mathematics/flocq/ChangeLog
+++ b/sci-mathematics/flocq/ChangeLog
@@ -1,10 +1,7 @@
# ChangeLog for sci-mathematics/flocq
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
- 12 May 2012; Alexey Shvetsov <alexxy@gentoo.org> flocq-1.4.0.ebuild:
- [sci-mathematics/flocq] Fix ebuild eapi parsing and other minor issues
-
06 May 2011; J.-C. Demay <jcdemay@gmail.com>
-flocq-1.2.ebuild, +flocq-1.4.0.ebuild:
version bump
diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/flocq/flocq-1.4.0.ebuild
index 103b67e..56c8e26 100644
--- a/sci-mathematics/flocq/flocq-1.4.0.ebuild
+++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild
@@ -1,8 +1,8 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-EAPI="2"
+EAPI="3"
DESCRIPTION="A floating-point formalization for the Coq system."
HOMEPAGE="http://flocq.gforge.inria.fr/"
@@ -10,11 +10,10 @@ SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz"
LICENSE="LGPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="~amd64 ~ppc ~sparc ~x86"
IUSE=""
DEPEND="sci-mathematics/coq"
-RDEPEND="${DEPEND}"
src_configure() {
econf --libdir="`coqc -where`/user-contrib/Flocq"
@@ -24,3 +23,4 @@ src_install() {
emake install DESTDIR="${D}" || die "emake install failed"
dodoc NEWS README AUTHORS ChangeLog
}
+
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2012-05-12 18:14 Alexey Shvetsov
0 siblings, 0 replies; 14+ messages in thread
From: Alexey Shvetsov @ 2012-05-12 18:14 UTC (permalink / raw
To: gentoo-commits
commit: ec156b74368b168f73a0275a3d81a3f5356c8621
Author: Alexey Shvetsov <alexxy <AT> gentoo <DOT> org>
AuthorDate: Sat May 12 18:11:27 2012 +0000
Commit: Alexey Shvetsov <alexxy <AT> gentoo <DOT> org>
CommitDate: Sat May 12 18:13:36 2012 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=ec156b74
[sci-mathematics/flocq] Fix ebuild eapi parsing and other minor issues
(Portage version: 2.2.0_alpha104/git/Linux x86_64, unsigned Manifest commit)
---
sci-mathematics/flocq/ChangeLog | 5 ++++-
sci-mathematics/flocq/flocq-1.4.0.ebuild | 8 +++-----
2 files changed, 7 insertions(+), 6 deletions(-)
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog
index 28ee4cc..3afd8eb 100644
--- a/sci-mathematics/flocq/ChangeLog
+++ b/sci-mathematics/flocq/ChangeLog
@@ -1,7 +1,10 @@
# ChangeLog for sci-mathematics/flocq
-# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 12 May 2012; Alexey Shvetsov <alexxy@gentoo.org> flocq-1.4.0.ebuild:
+ [sci-mathematics/flocq] Fix ebuild eapi parsing and other minor issues
+
06 May 2011; J.-C. Demay <jcdemay@gmail.com>
-flocq-1.2.ebuild, +flocq-1.4.0.ebuild:
version bump
diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/flocq/flocq-1.4.0.ebuild
index 734992f..103b67e 100644
--- a/sci-mathematics/flocq/flocq-1.4.0.ebuild
+++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild
@@ -1,9 +1,7 @@
-# Copyright 1999-2011 Gentoo Foundation
+# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-inherit autotools
-
EAPI="2"
DESCRIPTION="A floating-point formalization for the Coq system."
@@ -12,10 +10,11 @@ SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz"
LICENSE="LGPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ~ppc ~x86"
IUSE=""
DEPEND="sci-mathematics/coq"
+RDEPEND="${DEPEND}"
src_configure() {
econf --libdir="`coqc -where`/user-contrib/Flocq"
@@ -25,4 +24,3 @@ src_install() {
emake install DESTDIR="${D}" || die "emake install failed"
dodoc NEWS README AUTHORS ChangeLog
}
-
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2012-02-06 14:28 Jonathan-Christofer Demay
0 siblings, 0 replies; 14+ messages in thread
From: Jonathan-Christofer Demay @ 2012-02-06 14:28 UTC (permalink / raw
To: gentoo-commits
commit: eb9e4619a218da11f4f2d8f8a48c59fd074f5757
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Feb 6 14:26:12 2012 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Feb 6 14:26:12 2012 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=eb9e4619
sci-mathematics/flocq: QA Fixes
---
sci-mathematics/flocq/ChangeLog | 3 ---
sci-mathematics/flocq/flocq-1.4.0.ebuild | 15 +++++++++++----
sci-mathematics/flocq/metadata.xml | 2 +-
3 files changed, 12 insertions(+), 8 deletions(-)
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog
index 23ceec7..28ee4cc 100644
--- a/sci-mathematics/flocq/ChangeLog
+++ b/sci-mathematics/flocq/ChangeLog
@@ -2,9 +2,6 @@
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
- 25 Jun 2011; Justin Lecher <jlec@gentoo.org> flocq-1.4.0.ebuild:
- Define EAPI after inherit
-
06 May 2011; J.-C. Demay <jcdemay@gmail.com>
-flocq-1.2.ebuild, +flocq-1.4.0.ebuild:
version bump
diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/flocq/flocq-1.4.0.ebuild
index 44074f5..734992f 100644
--- a/sci-mathematics/flocq/flocq-1.4.0.ebuild
+++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild
@@ -2,20 +2,27 @@
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-EAPI=4
+inherit autotools
-DESCRIPTION="A floating-point formalization for the Coq system"
+EAPI="2"
+
+DESCRIPTION="A floating-point formalization for the Coq system."
HOMEPAGE="http://flocq.gforge.inria.fr/"
SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz"
LICENSE="LGPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="~amd64 ~ppc ~sparc ~x86"
IUSE=""
DEPEND="sci-mathematics/coq"
-RDEPEND="${DEPEND}"
src_configure() {
econf --libdir="`coqc -where`/user-contrib/Flocq"
}
+
+src_install() {
+ emake install DESTDIR="${D}" || die "emake install failed"
+ dodoc NEWS README AUTHORS ChangeLog
+}
+
diff --git a/sci-mathematics/flocq/metadata.xml b/sci-mathematics/flocq/metadata.xml
index 41ae244..c8feb0f 100644
--- a/sci-mathematics/flocq/metadata.xml
+++ b/sci-mathematics/flocq/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>
Flocq (Floats for Coq) is a floating-point formalization for the Coq
system. It provides a comprehensive library of theorems on a multi-radix
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2011-06-25 17:21 Justin Lecher
0 siblings, 0 replies; 14+ messages in thread
From: Justin Lecher @ 2011-06-25 17:21 UTC (permalink / raw
To: gentoo-commits
commit: 5e01c9660616dff9d96876056d983de42bd9ded1
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Sat Jun 25 07:50:45 2011 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sat Jun 25 07:50:45 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=5e01c966
Define EAPI after inherit
(Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916)
---
sci-mathematics/flocq/ChangeLog | 3 +++
sci-mathematics/flocq/flocq-1.4.0.ebuild | 15 ++++-----------
2 files changed, 7 insertions(+), 11 deletions(-)
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog
index 28ee4cc..23ceec7 100644
--- a/sci-mathematics/flocq/ChangeLog
+++ b/sci-mathematics/flocq/ChangeLog
@@ -2,6 +2,9 @@
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 25 Jun 2011; Justin Lecher <jlec@gentoo.org> flocq-1.4.0.ebuild:
+ Define EAPI after inherit
+
06 May 2011; J.-C. Demay <jcdemay@gmail.com>
-flocq-1.2.ebuild, +flocq-1.4.0.ebuild:
version bump
diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/flocq/flocq-1.4.0.ebuild
index 734992f..44074f5 100644
--- a/sci-mathematics/flocq/flocq-1.4.0.ebuild
+++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild
@@ -2,27 +2,20 @@
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-inherit autotools
+EAPI=4
-EAPI="2"
-
-DESCRIPTION="A floating-point formalization for the Coq system."
+DESCRIPTION="A floating-point formalization for the Coq system"
HOMEPAGE="http://flocq.gforge.inria.fr/"
SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz"
LICENSE="LGPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ~ppc ~x86"
IUSE=""
DEPEND="sci-mathematics/coq"
+RDEPEND="${DEPEND}"
src_configure() {
econf --libdir="`coqc -where`/user-contrib/Flocq"
}
-
-src_install() {
- emake install DESTDIR="${D}" || die "emake install failed"
- dodoc NEWS README AUTHORS ChangeLog
-}
-
^ permalink raw reply related [flat|nested] 14+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/
@ 2011-02-13 17:44 Jonathan-Christofer Demay
0 siblings, 0 replies; 14+ messages in thread
From: Jonathan-Christofer Demay @ 2011-02-13 17:44 UTC (permalink / raw
To: gentoo-commits
commit: 126a09e8d0afa680064355360c56f7ca3cbbe61f
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Sun Feb 13 19:46:19 2011 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Sun Feb 13 19:46:19 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=126a09e8
sci-mathematics/flocq: new package
---
sci-mathematics/flocq/ChangeLog | 8 ++++++++
sci-mathematics/flocq/flocq-1.2.ebuild | 28 ++++++++++++++++++++++++++++
sci-mathematics/flocq/metadata.xml | 14 ++++++++++++++
3 files changed, 50 insertions(+), 0 deletions(-)
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog
new file mode 100644
index 0000000..cf1dbf8
--- /dev/null
+++ b/sci-mathematics/flocq/ChangeLog
@@ -0,0 +1,8 @@
+# ChangeLog for sci-mathematics/gappa
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
+# $Header: $
+
+ 13 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
+ +metadata.xml, +ChangeLog:
+ QA fixes
+
diff --git a/sci-mathematics/flocq/flocq-1.2.ebuild b/sci-mathematics/flocq/flocq-1.2.ebuild
new file mode 100644
index 0000000..2df67f5
--- /dev/null
+++ b/sci-mathematics/flocq/flocq-1.2.ebuild
@@ -0,0 +1,28 @@
+# Copyright 1999-2011 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+inherit autotools
+
+EAPI="2"
+
+DESCRIPTION="A floating-point formalization for the Coq system."
+HOMEPAGE="http://flocq.gforge.inria.fr/"
+SRC_URI="https://gforge.inria.fr/frs/download.php/28156/${P}.tar.gz"
+
+LICENSE="LGPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+IUSE=""
+
+DEPEND="sci-mathematics/coq"
+
+src_configure() {
+ econf --libdir="`coqc -where`/user-contrib/Flocq"
+}
+
+src_install() {
+ emake install DESTDIR="${D}" || die "emake install failed"
+ dodoc NEWS README AUTHORS ChangeLog
+}
+
diff --git a/sci-mathematics/flocq/metadata.xml b/sci-mathematics/flocq/metadata.xml
new file mode 100644
index 0000000..c8feb0f
--- /dev/null
+++ b/sci-mathematics/flocq/metadata.xml
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <herd>sci</herd>
+ <longdescription>
+ Flocq (Floats for Coq) is a floating-point formalization for the Coq
+ system. It provides a comprehensive library of theorems on a multi-radix
+ multi-precision arithmetic. It also supports efficient numerical
+ computations inside Coq.
+ </longdescription>
+ <maintainer>
+ <email>sci@gentoo.org</email>
+ </maintainer>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 14+ messages in thread
end of thread, other threads:[~2023-01-03 19:09 UTC | newest]
Thread overview: 14+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2011-05-11 23:50 [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/ Jonathan-Christofer Demay
-- strict thread matches above, loose matches on Subject: below --
2023-01-03 19:09 Andrew Ammerlaan
2021-08-06 8:38 Andrew Ammerlaan
2021-03-04 12:09 Andrew Ammerlaan
2021-03-04 12:09 Andrew Ammerlaan
2014-09-16 17:01 Christoph Junghans
2014-09-16 17:01 Christoph Junghans
2013-01-14 14:10 Jonathan-Christofer Demay
2012-05-13 22:23 Jonathan-Christofer Demay
2012-05-13 22:21 Jonathan-Christofer Demay
2012-05-12 18:14 Alexey Shvetsov
2012-02-06 14:28 Jonathan-Christofer Demay
2011-06-25 17:21 Justin Lecher
2011-02-13 17:44 Jonathan-Christofer Demay
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox