public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [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/
@ 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:     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-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/
@ 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 --
2021-03-04 12:09 [gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/ Andrew Ammerlaan
  -- 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
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-05-11 23:50 Jonathan-Christofer Demay
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