1 |
commit: b965520209214cd9a83ac0377a881eff48034f7f |
2 |
Author: Aisha Tammy <gentoo <AT> aisha <DOT> cc> |
3 |
AuthorDate: Thu Sep 24 19:33:48 2020 +0000 |
4 |
Commit: Aisha Tammy <gentoo <AT> aisha <DOT> cc> |
5 |
CommitDate: Thu Sep 24 19:33:48 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=b9655202 |
7 |
|
8 |
sci-mathematics/why: drop dead package |
9 |
|
10 |
Package-Manager: Portage-3.0.7, Repoman-3.0.1 |
11 |
Signed-off-by: Aisha Tammy <gentoo <AT> aisha.cc> |
12 |
|
13 |
sci-mathematics/why/files/why-flocq23.patch | 11 ----- |
14 |
sci-mathematics/why/metadata.xml | 25 ----------- |
15 |
sci-mathematics/why/why-2.34.ebuild | 69 ----------------------------- |
16 |
3 files changed, 105 deletions(-) |
17 |
|
18 |
diff --git a/sci-mathematics/why/files/why-flocq23.patch b/sci-mathematics/why/files/why-flocq23.patch |
19 |
deleted file mode 100644 |
20 |
index b54d85a38..000000000 |
21 |
--- a/sci-mathematics/why/files/why-flocq23.patch |
22 |
+++ /dev/null |
23 |
@@ -1,11 +0,0 @@ |
24 |
---- lib/coq/WhyFloats.v.orig 2014-03-17 16:01:46.000000000 -0600 |
25 |
-+++ lib/coq/WhyFloats.v 2014-04-21 15:39:55.680771647 -0600 |
26 |
-@@ -108,7 +108,7 @@ |
27 |
- generalize (Zeq_bool_eq _ _ H1). clear. |
28 |
- rewrite Fcalc_digits.Z_of_nat_S_digits2_Pnat. |
29 |
- intros H. |
30 |
--apply (Fcalc_digits.Zpower_gt_Zdigits Fcalc_digits.radix2 (Zpos prec) (Zpos m)). |
31 |
-+apply (Fcore_digits.Zpower_gt_Zdigits Fcalc_digits.radix2 (Zpos prec) (Zpos m)). |
32 |
- revert H. |
33 |
- unfold FLT_exp. |
34 |
- generalize (Fcore_digits.Zdigits radix2 (Zpos m)). |
35 |
|
36 |
diff --git a/sci-mathematics/why/metadata.xml b/sci-mathematics/why/metadata.xml |
37 |
deleted file mode 100644 |
38 |
index 70e1eb45f..000000000 |
39 |
--- a/sci-mathematics/why/metadata.xml |
40 |
+++ /dev/null |
41 |
@@ -1,25 +0,0 @@ |
42 |
-<?xml version="1.0" encoding="UTF-8"?> |
43 |
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
44 |
-<pkgmetadata> |
45 |
- <maintainer type="project"> |
46 |
- <email>sci@g.o</email> |
47 |
- <name>Gentoo Science Project</name> |
48 |
- </maintainer> |
49 |
- <longdescription> |
50 |
-Why is a software verification platform. It contains a general-purpose |
51 |
-verification condition generator (VCG) which is used as a back-end |
52 |
-by other verification tools but it can also be used directly to verify |
53 |
-programs. It also provides Krakatoa, a tool or the verification of Java |
54 |
-programs and Caduceus, a tool for the verification of C programs. |
55 |
-</longdescription> |
56 |
- <use> |
57 |
- <flag name="apron">Use <pkg>sci-mathematics/apron</pkg> library for |
58 |
-abstract interpretation</flag> |
59 |
- <flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag> |
60 |
- <flag name="float">Add <pkg>sci-mathematics/flocq</pkg> support</flag> |
61 |
- <flag name="gappa">Add <pkg>sci-mathematics/gappalib-coq</pkg> support</flag> |
62 |
- <flag name="frama-c">Add <pkg>sci-mathematics/frama-c</pkg> support</flag> |
63 |
- <flag name="pff">Add <pkg>sci-mathematics/pff</pkg> support</flag> |
64 |
- <flag name="why3">Add <pkg>sci-mathematics/why3</pkg> support</flag> |
65 |
- </use> |
66 |
-</pkgmetadata> |
67 |
|
68 |
diff --git a/sci-mathematics/why/why-2.34.ebuild b/sci-mathematics/why/why-2.34.ebuild |
69 |
deleted file mode 100644 |
70 |
index 4851cd7c9..000000000 |
71 |
--- a/sci-mathematics/why/why-2.34.ebuild |
72 |
+++ /dev/null |
73 |
@@ -1,69 +0,0 @@ |
74 |
-# Copyright 1999-2016 Gentoo Foundation |
75 |
-# Distributed under the terms of the GNU General Public License v2 |
76 |
- |
77 |
-EAPI=5 |
78 |
- |
79 |
-inherit autotools eutils |
80 |
- |
81 |
-DESCRIPTION="Why is a software verification platform" |
82 |
-HOMEPAGE="http://why.lri.fr/" |
83 |
-SRC_URI="http://why.lri.fr/download/${P}.tar.gz" |
84 |
- |
85 |
-LICENSE="GPL-2" |
86 |
-SLOT="0" |
87 |
-KEYWORDS="~amd64" |
88 |
-IUSE="apron coq doc examples float gappa frama-c gtk pff why3" |
89 |
- |
90 |
-DEPEND=">=dev-lang/ocaml-3.12.1 |
91 |
- >=dev-ml/ocamlgraph-1.5 |
92 |
- gtk? ( >=dev-ml/lablgtk-2.14 ) |
93 |
- apron? ( sci-mathematics/apron ) |
94 |
- coq? ( sci-mathematics/coq ) |
95 |
- gappa? ( sci-mathematics/gappalib-coq ) |
96 |
- pff? ( sci-mathematics/pff ) |
97 |
- frama-c? ( >=sci-mathematics/frama-c-20140301 ) |
98 |
- float? ( sci-mathematics/flocq ) |
99 |
- why3? ( sci-mathematics/why3 )" |
100 |
-RDEPEND="${DEPEND}" |
101 |
- |
102 |
-DOCS=( CHANGES README Version ) |
103 |
- |
104 |
-src_prepare() { |
105 |
- sed -i Makefile.in \ |
106 |
- -e "s/DESTDIR =.*//g" \ |
107 |
- -e "s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g" || die |
108 |
- |
109 |
- #to build with apron-0.9.10 |
110 |
- sed -i configure.in \ |
111 |
- -e "s/pvs/sri-pvs/g" \ |
112 |
- -e "s/oct_caml/octMPQ_caml/g" \ |
113 |
- -e "s/box_caml/boxMPQ_caml/g" \ |
114 |
- -e "s/polka_caml/polkaMPQ_caml/g" || die |
115 |
- |
116 |
- epatch "${FILESDIR}"/why-flocq23.patch |
117 |
- eautoreconf |
118 |
-} |
119 |
- |
120 |
-src_configure() { |
121 |
- econf $(use_enable apron) PATH="/usr/bin:$PATH" |
122 |
-} |
123 |
- |
124 |
-src_compile(){ |
125 |
- MAKEOPTS+=" -j1" |
126 |
- emake DESTDIR="/" |
127 |
-} |
128 |
- |
129 |
-src_install(){ |
130 |
- default |
131 |
- |
132 |
- doman doc/why.1 |
133 |
- |
134 |
- if use doc; then |
135 |
- dodoc doc/manual.ps |
136 |
- fi |
137 |
- |
138 |
- if use examples; then |
139 |
- insinto /usr/share/doc/${PF} |
140 |
- doins -r examples examples-c |
141 |
- fi |
142 |
-} |