[gentoo-commits] proj/sci:master commit in: profiles/, sci-mathematics/pff/

[gentoo-commits] proj/sci:master commit in: profiles/, sci-mathematics/pff/

[Andrew Ammerlaan]

commit:     a7a7bf61a17ed0027158c35aac900bbc84d3ec23
Author:     Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Sat Jan 16 21:33:31 2021 +0000
Commit:     Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Sat Jan 16 21:33:31 2021 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=a7a7bf61

sci-mathematics/pff: remove pack, upstream has dissapeared

a quick google search suggests that sci-mathematics/flocq is
likely the succesor

Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>

 profiles/package.mask              |  1 -
 sci-mathematics/pff/metadata.xml   | 14 --------------
 sci-mathematics/pff/pff-8.4.ebuild | 32 --------------------------------
 3 files changed, 47 deletions(-)

diff --git a/profiles/package.mask b/profiles/package.mask
index f0127c835..34cefe170 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -135,4 +135,3 @@ sci-libs/fgsl
 sci-libs/lwpr
 sci-libs/modglue
 sci-libs/superlu_dist
-sci-mathematics/pff

diff --git a/sci-mathematics/pff/metadata.xml b/sci-mathematics/pff/metadata.xml
deleted file mode 100644
index 0c97b245d..000000000
--- a/sci-mathematics/pff/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>
-PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats)
-is a repository of a Coq library about floating-point arithmetic. It
-contains both definitions and proofs of basic facts, old and new
-properties and algorithms.
-</longdescription>
-</pkgmetadata>

diff --git a/sci-mathematics/pff/pff-8.4.ebuild b/sci-mathematics/pff/pff-8.4.ebuild
deleted file mode 100644
index 951b49edc..000000000
--- a/sci-mathematics/pff/pff-8.4.ebuild
+++ /dev/null
@@ -1,32 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-DESCRIPTION="Library for reasoning about floating point numbers in coq"
-HOMEPAGE="http://lipforge.ens-lyon.fr/www/pff/"
-SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/165/Float${PV}.tgz"
-
-LICENSE="LGPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-DEPEND="sci-mathematics/coq"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/Float${PV}"
-
-src_prepare() {
-	sed -i Makefile \
-		-e "s|\`\$(COQC) -where\`/user-contrib|\$(DSTROOT)/\`\$(COQC) -where\`/user-contrib|g" \
-		-e "s|VOFILESINC=\$(filter \$(wildcard \./\*),\$(VOFILES))|VOFILESINC:=\$(filter-out ,\$(VOFILES))|g"
-}
-
-src_compile(){
-	default
-}
-
-src_install(){
-	emake install DSTROOT="${D}"
-}