diff options
| author |   Andrew Ammerlaan <andrewammerlaan@gentoo.org> | 2023-01-03 20:08:25 +0100 |
|---|---|---|
| committer | Andrew Ammerlaan <andrewammerlaan@gentoo.org> | 2023-01-03 20:08:25 +0100 |
| commit | af0c252d74d64140b4997f1c56e869e9410015b4 (patch) | |
| tree | e3f5f14860d7ba77561db315c95e47033b68f1d3 /sci-mathematics | |
| parent | sci-mathematics/gappa: treeclean (diff) | |
| download | sci-af0c252d74d64140b4997f1c56e869e9410015b4.tar.gz sci-af0c252d74d64140b4997f1c56e869e9410015b4.tar.bz2 sci-af0c252d74d64140b4997f1c56e869e9410015b4.zip | |
sci-mathematics/gappalib-coq: treeclean
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/gappalib-coq/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild | 35 | ||||
| -rw-r--r-- | sci-mathematics/gappalib-coq/metadata.xml | 13 |
3 files changed, 0 insertions, 49 deletions
diff --git a/sci-mathematics/gappalib-coq/Manifest b/sci-mathematics/gappalib-coq/Manifest deleted file mode 100644 index aaea09aac..000000000 --- a/sci-mathematics/gappalib-coq/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST gappalib-coq-1.4.6.tar.gz 114284 BLAKE2B 2c1b38b324786f20d7503d1c2243b95b7f8b090068563120669de37ef6cd5dc4fa479b5f3e0559372f4d1fdafa833619191c73780adad45056972108a32e1d1e SHA512 bb9c431d320d9c66998ec02ba7d459ee3f00cb7b16f89e57f3d7eb4b89cd3c9254e98e3906a8dfac31f73e5a32918ad12eaeaf7504750d3bfdce878913b745d3 diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild deleted file mode 100644 index 82b02933c..000000000 --- a/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild +++ /dev/null @@ -1,35 +0,0 @@ -# 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 -} diff --git a/sci-mathematics/gappalib-coq/metadata.xml b/sci-mathematics/gappalib-coq/metadata.xml deleted file mode 100644 index 182ed0520..000000000 --- a/sci-mathematics/gappalib-coq/metadata.xml +++ /dev/null @@ -1,13 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> -While Gappa is intended to be used directly, it can also act as a -backend prover for the Why software verification plateform or as an -automatic tactic for the Coq proof assistant. -</longdescription> -</pkgmetadata> |