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