commit: ecd9b59ce10d394d3d37f9b80008e35f1dfe7baf Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net> AuthorDate: Thu Mar 4 12:09:01 2021 +0000 Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net> CommitDate: Thu Mar 4 12:09:01 2021 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=ecd9b59c
sci-mathematics/gappalib-coq: drop old Package-Manager: Portage-3.0.16, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net> .../gappalib-coq/gappalib-coq-1.0.0.ebuild | 33 ---------------------- 1 file changed, 33 deletions(-) diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild deleted file mode 100644 index 6aef54089..000000000 --- a/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild +++ /dev/null @@ -1,33 +0,0 @@ -# Copyright 1999-2014 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -DESCRIPTION="Allows the certificates Gappa generates to be imported by the Coq" -HOMEPAGE="http://gappa.gforge.inria.fr/"; -SRC_URI="http://gforge.inria.fr/frs/download.php/32743/${P}.tar.gz"; - -LICENSE="LGPL-2" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="" - -DEPEND="sci-mathematics/gappa - sci-mathematics/coq - sci-mathematics/flocq" -RDEPEND="${DEPEND}" - -src_prepare() { - sed -i Remakefile.in \ - -e "s:mkdir -p @libdir@:mkdir -p \${DESTDIR}@libdir@:g" \ - -e "s:cp \$(OBJS) \$(MLTARGETS) @libdir@:cp \$(OBJS) \$(MLTARGETS) \${DESTDIR}@libdir@:g" -} - -src_compile() { - ./remake || die "emake failed" -} - -src_install() { - DESTDIR="${D}" ./remake install || die "emake install failed" - dodoc NEWS README AUTHORS ChangeLog -}
