diff options
Diffstat (limited to 'sci-mathematics/flocq/flocq-4.1.0.ebuild')
-rw-r--r-- | sci-mathematics/flocq/flocq-4.1.0.ebuild | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/sci-mathematics/flocq/flocq-4.1.0.ebuild b/sci-mathematics/flocq/flocq-4.1.0.ebuild deleted file mode 100644 index f48862539920..000000000000 --- a/sci-mathematics/flocq/flocq-4.1.0.ebuild +++ /dev/null @@ -1,31 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit multiprocessing - -DESCRIPTION="Formalization of floating-point arithmetic for the Coq proof assistant" -HOMEPAGE="http://flocq.gforge.inria.fr/ - https://gitlab.inria.fr/flocq/flocq/" -SRC_URI="https://flocq.gitlabpages.inria.fr/releases/${P}.tar.gz" - -LICENSE="LGPL-3" -SLOT="0" -KEYWORDS="~amd64 ~x86" - -RDEPEND=">=sci-mathematics/coq-8.12" -BDEPEND="${RDEPEND}" - -src_compile() { - ./remake --jobs=$(makeopts_jobs) || die -} - -src_install() { - DESTDIR="${D}" ./remake install || die - - dodoc AUTHORS INSTALL.md NEWS.md README.md - - insinto /usr/share/${PN} - doins -r examples -} |