From fa7a1d7e6126d198b5e01ba98dd44b965f403aaa Mon Sep 17 00:00:00 2001
From: Lucas Mitrak <lucas@lucasmitrak.com>
Date: Thu, 5 Aug 2021 17:10:07 -0400
Subject: 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@lucasmitrak.com>
Closes: https://github.com/gentoo/sci/pull/1107
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
---
 sci-mathematics/flocq/flocq-3.4.0-r1.ebuild | 37 +++++++++++++++++++++++++++++
 sci-mathematics/flocq/flocq-3.4.0.ebuild    | 35 ---------------------------
 2 files changed, 37 insertions(+), 35 deletions(-)
 create mode 100644 sci-mathematics/flocq/flocq-3.4.0-r1.ebuild
 delete mode 100644 sci-mathematics/flocq/flocq-3.4.0.ebuild

diff --git a/sci-mathematics/flocq/flocq-3.4.0-r1.ebuild b/sci-mathematics/flocq/flocq-3.4.0-r1.ebuild
new file mode 100644
index 000000000..f0e6c73a8
--- /dev/null
+++ b/sci-mathematics/flocq/flocq-3.4.0-r1.ebuild
@@ -0,0 +1,37 @@
+# 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/flocq-3.4.0.ebuild b/sci-mathematics/flocq/flocq-3.4.0.ebuild
deleted file mode 100644
index e629d5628..000000000
--- a/sci-mathematics/flocq/flocq-3.4.0.ebuild
+++ /dev/null
@@ -1,35 +0,0 @@
-# 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
-}
-- 
cgit v1.2.3-65-gdbad