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

["Andrew Ammerlaan" <andrewammerlaan@gentoo.org>]

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>