[gentoo-commits] proj/sci:master commit in: sci-mathematics/why/files/, sci-mathematics/why/

["Aisha Tammy" <gentoo@aisha.cc>]

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>sci@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
-}