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>[email protected]</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}" -}
