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

["Andrew Ammerlaan" <andrewammerlaan@riseup.net>]

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
-}