commit: b965520209214cd9a83ac0377a881eff48034f7f Author: Aisha Tammy <gentoo <AT> aisha <DOT> cc> AuthorDate: Thu Sep 24 19:33:48 2020 +0000 Commit: Aisha Tammy <gentoo <AT> aisha <DOT> cc> CommitDate: Thu Sep 24 19:33:48 2020 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=b9655202
sci-mathematics/why: drop dead package Package-Manager: Portage-3.0.7, Repoman-3.0.1 Signed-off-by: Aisha Tammy <gentoo <AT> aisha.cc> sci-mathematics/why/files/why-flocq23.patch | 11 ----- sci-mathematics/why/metadata.xml | 25 ----------- sci-mathematics/why/why-2.34.ebuild | 69 ----------------------------- 3 files changed, 105 deletions(-) diff --git a/sci-mathematics/why/files/why-flocq23.patch b/sci-mathematics/why/files/why-flocq23.patch deleted file mode 100644 index b54d85a38..000000000 --- a/sci-mathematics/why/files/why-flocq23.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- lib/coq/WhyFloats.v.orig 2014-03-17 16:01:46.000000000 -0600 -+++ lib/coq/WhyFloats.v 2014-04-21 15:39:55.680771647 -0600 -@@ -108,7 +108,7 @@ - generalize (Zeq_bool_eq _ _ H1). clear. - rewrite Fcalc_digits.Z_of_nat_S_digits2_Pnat. - intros H. --apply (Fcalc_digits.Zpower_gt_Zdigits Fcalc_digits.radix2 (Zpos prec) (Zpos m)). -+apply (Fcore_digits.Zpower_gt_Zdigits Fcalc_digits.radix2 (Zpos prec) (Zpos m)). - revert H. - unfold FLT_exp. - generalize (Fcore_digits.Zdigits radix2 (Zpos m)). diff --git a/sci-mathematics/why/metadata.xml b/sci-mathematics/why/metadata.xml deleted file mode 100644 index 70e1eb45f..000000000 --- a/sci-mathematics/why/metadata.xml +++ /dev/null @@ -1,25 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";> -<pkgmetadata> - <maintainer type="project"> - <email>s...@gentoo.org</email> - <name>Gentoo Science Project</name> - </maintainer> - <longdescription> -Why is a software verification platform. It contains a general-purpose -verification condition generator (VCG) which is used as a back-end -by other verification tools but it can also be used directly to verify -programs. It also provides Krakatoa, a tool or the verification of Java -programs and Caduceus, a tool for the verification of C programs. -</longdescription> - <use> - <flag name="apron">Use <pkg>sci-mathematics/apron</pkg> library for -abstract interpretation</flag> - <flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag> - <flag name="float">Add <pkg>sci-mathematics/flocq</pkg> support</flag> - <flag name="gappa">Add <pkg>sci-mathematics/gappalib-coq</pkg> support</flag> - <flag name="frama-c">Add <pkg>sci-mathematics/frama-c</pkg> support</flag> - <flag name="pff">Add <pkg>sci-mathematics/pff</pkg> support</flag> - <flag name="why3">Add <pkg>sci-mathematics/why3</pkg> support</flag> - </use> -</pkgmetadata> diff --git a/sci-mathematics/why/why-2.34.ebuild b/sci-mathematics/why/why-2.34.ebuild deleted file mode 100644 index 4851cd7c9..000000000 --- a/sci-mathematics/why/why-2.34.ebuild +++ /dev/null @@ -1,69 +0,0 @@ -# Copyright 1999-2016 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -inherit autotools eutils - -DESCRIPTION="Why is a software verification platform" -HOMEPAGE="http://why.lri.fr/"; -SRC_URI="http://why.lri.fr/download/${P}.tar.gz"; - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="~amd64" -IUSE="apron coq doc examples float gappa frama-c gtk pff why3" - -DEPEND=">=dev-lang/ocaml-3.12.1 - >=dev-ml/ocamlgraph-1.5 - gtk? ( >=dev-ml/lablgtk-2.14 ) - apron? ( sci-mathematics/apron ) - coq? ( sci-mathematics/coq ) - gappa? ( sci-mathematics/gappalib-coq ) - pff? ( sci-mathematics/pff ) - frama-c? ( >=sci-mathematics/frama-c-20140301 ) - float? ( sci-mathematics/flocq ) - why3? ( sci-mathematics/why3 )" -RDEPEND="${DEPEND}" - -DOCS=( CHANGES README Version ) - -src_prepare() { - sed -i Makefile.in \ - -e "s/DESTDIR =.*//g" \ - -e "s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g" || die - - #to build with apron-0.9.10 - sed -i configure.in \ - -e "s/pvs/sri-pvs/g" \ - -e "s/oct_caml/octMPQ_caml/g" \ - -e "s/box_caml/boxMPQ_caml/g" \ - -e "s/polka_caml/polkaMPQ_caml/g" || die - - epatch "${FILESDIR}"/why-flocq23.patch - eautoreconf -} - -src_configure() { - econf $(use_enable apron) PATH="/usr/bin:$PATH" -} - -src_compile(){ - MAKEOPTS+=" -j1" - emake DESTDIR="/" -} - -src_install(){ - default - - doman doc/why.1 - - if use doc; then - dodoc doc/manual.ps - fi - - if use examples; then - insinto /usr/share/doc/${PF} - doins -r examples examples-c - fi -}
