commit: 05c0b4ec3733034cb12a8e4c4121182c012db8ff Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net> AuthorDate: Thu Mar 4 12:08:49 2021 +0000 Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net> CommitDate: Thu Mar 4 12:08:49 2021 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=05c0b4ec
sci-mathematics/gappalib-coq: version bump 1.4.6 Package-Manager: Portage-3.0.16, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net> .../gappalib-coq/gappalib-coq-1.4.6.ebuild | 35 ++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild new file mode 100644 index 000000000..82b02933c --- /dev/null +++ b/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild @@ -0,0 +1,35 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +DESCRIPTION="Allows the certificates Gappa generates to be imported by the Coq" +HOMEPAGE="http://gappa.gforge.inria.fr/"; +SRC_URI="https://gforge.inria.fr/frs/download.php/file/38386/${P}.tar.gz"; + +LICENSE="LGPL-2" +SLOT="0" +KEYWORDS="~amd64 ~x86" + +DEPEND=" + >=sci-mathematics/gappa-1.3.2 + >=sci-mathematics/coq-8.8 + >=sci-mathematics/flocq-3.0 +" +RDEPEND="${DEPEND}" + +src_prepare() { + default + 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" + einstalldocs +}
