1 |
commit: bc69c12f9d029d94a8720ba51d60cc145c637a8e |
2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sat Sep 14 15:43:34 2019 +0000 |
4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
5 |
CommitDate: Sat Sep 14 15:43:34 2019 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bc69c12f |
7 |
|
8 |
sci-mathematics/e: Remove last-rited pkg |
9 |
|
10 |
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> |
11 |
|
12 |
profiles/package.mask | 1 - |
13 |
sci-mathematics/e/Manifest | 2 - |
14 |
sci-mathematics/e/e-1.8-r1.ebuild | 118 ----------------------- |
15 |
sci-mathematics/e/e-2.3.ebuild | 75 -------------- |
16 |
sci-mathematics/e/files/e-2.3-build-system.patch | 8 -- |
17 |
sci-mathematics/e/metadata.xml | 35 ------- |
18 |
6 files changed, 239 deletions(-) |
19 |
|
20 |
diff --git a/profiles/package.mask b/profiles/package.mask |
21 |
index be75868ea69..5ff22066369 100644 |
22 |
--- a/profiles/package.mask |
23 |
+++ b/profiles/package.mask |
24 |
@@ -1119,7 +1119,6 @@ media-sound/tuxguitar |
25 |
sci-mathematics/isabelle |
26 |
sci-chemistry/jmol |
27 |
sci-mathematics/cvc3 |
28 |
-sci-mathematics/e |
29 |
|
30 |
# Michał Górny <mgorny@g.o> (2019-08-14) |
31 |
# No longer builds. Homepage is gone, and its keep-alive fork is also |
32 |
|
33 |
diff --git a/sci-mathematics/e/Manifest b/sci-mathematics/e/Manifest |
34 |
deleted file mode 100644 |
35 |
index 13f262a533c..00000000000 |
36 |
--- a/sci-mathematics/e/Manifest |
37 |
+++ /dev/null |
38 |
@@ -1,2 +0,0 @@ |
39 |
-DIST E-1.8.tgz 1832975 BLAKE2B ebac17f157f591874107009d1ad45d03449c8d440f3ad6dabda308193775cd69d01f6ffb159ef8acbc73fbd41e5b38f2eb61a1c734d638d4a045e068cc63fc90 SHA512 1b4358c636e8ea564ca942e1221e78234a9f0f793991f637bd7ec4d92eb9aa4a408a14c707405271fc017a9d63884d70bdfb0ed1b878383a1a44cfa57a7bdd51 |
40 |
-DIST E-2.3.tgz 2176351 BLAKE2B cb234d5d6ed9d098b9f1b3def44de570c2014dd017e2e39de58bfe8ea47f539008e30213eab78c61e042d04529cfdbc647706ae71707e306cf51f5189c5dad30 SHA512 9e0f22a174f9f0fae401d8556d0b825c17d06e48e40d027003a89ff8cc637e3a14e14af70e6a65ecf2a11a52d59388c6c36b129a123511b958c152f58fd06a16 |
41 |
|
42 |
diff --git a/sci-mathematics/e/e-1.8-r1.ebuild b/sci-mathematics/e/e-1.8-r1.ebuild |
43 |
deleted file mode 100644 |
44 |
index d21fa37fa82..00000000000 |
45 |
--- a/sci-mathematics/e/e-1.8-r1.ebuild |
46 |
+++ /dev/null |
47 |
@@ -1,118 +0,0 @@ |
48 |
-# Copyright 1999-2017 Gentoo Foundation |
49 |
-# Distributed under the terms of the GNU General Public License v2 |
50 |
- |
51 |
-EAPI="6" |
52 |
- |
53 |
-MY_PN="E" |
54 |
-MY_P="${MY_PN}-${PV}" |
55 |
- |
56 |
-DESCRIPTION="E is a theorem prover for full first-order logic with equality" |
57 |
-HOMEPAGE="http://www4.informatik.tu-muenchen.de/~schulz/E/E.html" |
58 |
-SRC_URI="http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_${PV}/${MY_PN}.tgz -> ${MY_P}.tgz" |
59 |
- |
60 |
-LICENSE="GPL-2" |
61 |
-SLOT="0/${PV}" |
62 |
-KEYWORDS="~amd64 ~x86" |
63 |
-IUSE="doc examples isabelle" |
64 |
- |
65 |
-RDEPEND="isabelle? ( |
66 |
- >=sci-mathematics/isabelle-2011.1-r1:= |
67 |
- )" |
68 |
-DEPEND="${RDEPEND}" |
69 |
- |
70 |
-S="${WORKDIR}"/${MY_PN} |
71 |
- |
72 |
-src_configure() { |
73 |
- ./configure --prefix="${ROOT}usr" \ |
74 |
- --man-prefix="${ROOT}share/man" \ |
75 |
- || die "E configure failed" |
76 |
- |
77 |
- sed -e "s@CFLAGS = @CFLAGS = ${CFLAGS} @" \ |
78 |
- -e "s@LD = \$(CC) @LD = \$(CC) ${LDFLAGS} @" \ |
79 |
- -i "${S}/Makefile.vars" \ |
80 |
- || die "Could not add our flags to Makefile.vars" |
81 |
-} |
82 |
- |
83 |
-src_install() { |
84 |
- dobin "${S}/PROVER/eprover" \ |
85 |
- "${S}/PROVER/epclextract" \ |
86 |
- "${S}/PROVER/eproof" \ |
87 |
- "${S}/PROVER/eproof_ram" \ |
88 |
- "${S}/PROVER/eground" \ |
89 |
- "${S}/PROVER/e_ltb_runner" \ |
90 |
- "${S}/PROVER/e_axfilter" \ |
91 |
- "${S}/PROVER/checkproof" \ |
92 |
- "${S}/PROVER/ekb_create" \ |
93 |
- "${S}/PROVER/ekb_delete" \ |
94 |
- "${S}/PROVER/ekb_ginsert" \ |
95 |
- "${S}/PROVER/ekb_insert" |
96 |
- |
97 |
- doman "${S}/DOC/man/eprover.1" \ |
98 |
- "${S}/DOC/man/epclextract.1" \ |
99 |
- "${S}/DOC/man/eproof.1" \ |
100 |
- "${S}/DOC/man/eproof_ram.1" \ |
101 |
- "${S}/DOC/man/eground.1" \ |
102 |
- "${S}/DOC/man/e_ltb_runner.1" \ |
103 |
- "${S}/DOC/man/e_axfilter.1" \ |
104 |
- "${S}/DOC/man/checkproof.1" \ |
105 |
- "${S}/DOC/man/ekb_create.1" \ |
106 |
- "${S}/DOC/man/ekb_delete.1" \ |
107 |
- "${S}/DOC/man/ekb_ginsert.1" \ |
108 |
- "${S}/DOC/man/ekb_insert.1" |
109 |
- |
110 |
- if use doc; then |
111 |
- pushd "${S}"/DOC || die "Could not cd to DOC" |
112 |
- dodoc ANNOUNCE CREDITS DONE E-REMARKS E-REMARKS.english E-USERS \ |
113 |
- HISTORY NEWS PORTING ReadMe THINKME TODO TPTP_SUBMISSION \ |
114 |
- WISHLIST eprover.pdf |
115 |
- dohtml *.html |
116 |
- dohtml estyle.sty |
117 |
- popd |
118 |
- fi |
119 |
- |
120 |
- if use examples; then |
121 |
- insinto /usr/share/${MY_PN}/examples |
122 |
- doins -r EXAMPLE_PROBLEMS |
123 |
- doins -r SIMPLE_APPS |
124 |
- fi |
125 |
- |
126 |
- if use isabelle; then |
127 |
- ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" \ |
128 |
- || die "isabelle getenv ISABELLE_HOME failed" |
129 |
- [[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty" |
130 |
- cat <<- EOF >> "${S}/settings" |
131 |
- E_HOME="${ROOT}usr/bin" |
132 |
- E_VERSION="${PV}" |
133 |
- EOF |
134 |
- insinto "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" |
135 |
- doins "${S}/settings" |
136 |
- fi |
137 |
-} |
138 |
- |
139 |
-pkg_postinst() { |
140 |
- if use isabelle; then |
141 |
- if [ -f "${ROOT}etc/isabelle/components" ]; then |
142 |
- if egrep "contrib/${PN}-[0-9.]*" "${ROOT}etc/isabelle/components"; then |
143 |
- sed -e "/contrib\/${PN}-[0-9.]*/d" \ |
144 |
- -i "${ROOT}etc/isabelle/components" |
145 |
- fi |
146 |
- cat <<- EOF >> "${ROOT}etc/isabelle/components" |
147 |
- contrib/${PN}-${PV} |
148 |
- EOF |
149 |
- fi |
150 |
- fi |
151 |
-} |
152 |
- |
153 |
-pkg_postrm() { |
154 |
- if use isabelle; then |
155 |
- if [ ! -f "${ROOT}usr/bin/eproof" ]; then |
156 |
- if [ -f "${ROOT}etc/isabelle/components" ]; then |
157 |
- # Note: this sed should only match the version of this ebuild |
158 |
- # Which is what we want as we do not want to remove the line |
159 |
- # of a new E being installed during an upgrade. |
160 |
- sed -e "/contrib\/${PN}-${PV}/d" \ |
161 |
- -i "${ROOT}etc/isabelle/components" |
162 |
- fi |
163 |
- fi |
164 |
- fi |
165 |
-} |
166 |
|
167 |
diff --git a/sci-mathematics/e/e-2.3.ebuild b/sci-mathematics/e/e-2.3.ebuild |
168 |
deleted file mode 100644 |
169 |
index 2b9f7875941..00000000000 |
170 |
--- a/sci-mathematics/e/e-2.3.ebuild |
171 |
+++ /dev/null |
172 |
@@ -1,75 +0,0 @@ |
173 |
-# Copyright 1999-2019 Gentoo Authors |
174 |
-# Distributed under the terms of the GNU General Public License v2 |
175 |
- |
176 |
-EAPI="7" |
177 |
- |
178 |
-MY_PN="E" |
179 |
-MY_P="${MY_PN}-${PV}" |
180 |
- |
181 |
-DESCRIPTION="E is a theorem prover for full first-order logic with equality" |
182 |
-HOMEPAGE="https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html" |
183 |
-SRC_URI="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${PV}/${MY_PN}.tgz -> ${MY_P}.tgz" |
184 |
-LICENSE="GPL-2" |
185 |
-SLOT="0/${PV}" |
186 |
-KEYWORDS="~amd64 ~x86" |
187 |
-IUSE="doc examples" |
188 |
- |
189 |
-RDEPEND="" |
190 |
-DEPEND="${RDEPEND} |
191 |
- doc? ( dev-texlive/texlive-latex )" |
192 |
- |
193 |
-S="${WORKDIR}"/${MY_PN} |
194 |
- |
195 |
-PATCHES=( "${FILESDIR}"/${PN}-2.3-build-system.patch ) |
196 |
- |
197 |
-src_prepare() { |
198 |
- default |
199 |
- rm -f DOC/eprover.pdf |
200 |
-} |
201 |
- |
202 |
-src_configure() { |
203 |
- ./configure --prefix="${ED}/usr" \ |
204 |
- --man-prefix="${ED}/usr/share/man" \ |
205 |
- || die "E configure failed" |
206 |
- |
207 |
- sed -e "s@CFLAGS = @CFLAGS = ${CFLAGS} @" \ |
208 |
- -e "s@LD = \$(CC) @LD = \$(CC) ${LDFLAGS} @" \ |
209 |
- -i "${S}/Makefile.vars" \ |
210 |
- || die "Could not add our flags to Makefile.vars" |
211 |
-} |
212 |
- |
213 |
-src_compile() { |
214 |
- default |
215 |
- use doc && emake documentation |
216 |
-} |
217 |
- |
218 |
-src_install() { |
219 |
- default |
220 |
- |
221 |
- local DOCS=( |
222 |
- "README.md" |
223 |
- "DOC/ANNOUNCE" |
224 |
- "DOC/CONTRIBUTORS" |
225 |
- "DOC/DONE" |
226 |
- "DOC/E-REMARKS" |
227 |
- "DOC/E-REMARKS.english" |
228 |
- "DOC/E-USERS" |
229 |
- "DOC/HISTORY" |
230 |
- "DOC/NEWS" |
231 |
- "DOC/PORTING" |
232 |
- "DOC/ReadMe" |
233 |
- "DOC/THINKME" |
234 |
- "DOC/TODO" |
235 |
- "DOC/TPTP_SUBMISSION" |
236 |
- "DOC/WISHLIST" |
237 |
- "DOC/eprover.pdf" |
238 |
- ) |
239 |
- local HTML_DOCS=( "DOC" ) |
240 |
- einstalldocs |
241 |
- |
242 |
- if use examples; then |
243 |
- insinto /usr/share/${MY_PN}/examples |
244 |
- doins -r EXAMPLE_PROBLEMS |
245 |
- doins -r SIMPLE_APPS |
246 |
- fi |
247 |
-} |
248 |
|
249 |
diff --git a/sci-mathematics/e/files/e-2.3-build-system.patch b/sci-mathematics/e/files/e-2.3-build-system.patch |
250 |
deleted file mode 100644 |
251 |
index 8031c20e026..00000000000 |
252 |
--- a/sci-mathematics/e/files/e-2.3-build-system.patch |
253 |
+++ /dev/null |
254 |
@@ -1,8 +0,0 @@ |
255 |
---- E-orig/development_tools/e_install 2019-03-13 04:55:13.000000000 +1100 |
256 |
-+++ E/development_tools/e_install 2019-09-11 21:11:37.628045114 +1000 |
257 |
-@@ -13,4 +13,4 @@ |
258 |
- fi |
259 |
- } |
260 |
- |
261 |
--testinstall $1 $2 |
262 |
-+install $1 $2 |
263 |
|
264 |
diff --git a/sci-mathematics/e/metadata.xml b/sci-mathematics/e/metadata.xml |
265 |
deleted file mode 100644 |
266 |
index 38c1496fe98..00000000000 |
267 |
--- a/sci-mathematics/e/metadata.xml |
268 |
+++ /dev/null |
269 |
@@ -1,35 +0,0 @@ |
270 |
-<?xml version="1.0" encoding="UTF-8"?> |
271 |
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
272 |
-<pkgmetadata> |
273 |
-<maintainer type="person"> |
274 |
- <email>gienah@g.o</email> |
275 |
- <name>Mark Wright</name> |
276 |
-</maintainer> |
277 |
-<maintainer type="project"> |
278 |
- <email>sci-mathematics@g.o</email> |
279 |
- <name>Gentoo Mathematics Project</name> |
280 |
-</maintainer> |
281 |
-<longdescription lang="en"> |
282 |
-E is a theorem prover for full first-order logic with equality. It |
283 |
-accepts a problem specification, typically consisting of a number of |
284 |
-first-order clauses or formulas, and a conjecture, again either in |
285 |
-clausal or full first-order form. The system will then try to find a |
286 |
-formal proof for the conjecture, assuming the axioms. |
287 |
- |
288 |
-If a proof is found, the system can provide a detailed list of proof |
289 |
-steps that can be individually verified. If the conjecture is |
290 |
-existential (i.e. it’s of the form “there exists an X with property |
291 |
-P”), the latest versions can also provide possible answers (values for |
292 |
-X). |
293 |
- |
294 |
-Development of E started as part of the E-SETHEO project at TUM. The |
295 |
-first public release was in in 1998, and the system has been |
296 |
-continuously improved ever since. I believe that E now is one of the |
297 |
-most powerful and friendly reasoning systems for first-order |
298 |
-logic. The prover has successfully participated in many competitions. |
299 |
-</longdescription> |
300 |
-<use> |
301 |
- <flag name="isabelle">Add integration support for the Isabelle/HOL |
302 |
- theorem prover.</flag> |
303 |
-</use> |
304 |
-</pkgmetadata> |