1 |
commit: f305a65961049716b3d6b071211d21873c42197a |
2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sat Sep 14 15:42:42 2019 +0000 |
4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
5 |
CommitDate: Sat Sep 14 15:42:42 2019 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f305a659 |
7 |
|
8 |
sci-mathematics/spass: 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/spass/Manifest | 1 - |
14 |
sci-mathematics/spass/metadata.xml | 17 ---- |
15 |
sci-mathematics/spass/spass-3.9.ebuild | 145 --------------------------------- |
16 |
4 files changed, 164 deletions(-) |
17 |
|
18 |
diff --git a/profiles/package.mask b/profiles/package.mask |
19 |
index 4fc51877934..5839f915bbe 100644 |
20 |
--- a/profiles/package.mask |
21 |
+++ b/profiles/package.mask |
22 |
@@ -1125,7 +1125,6 @@ sci-chemistry/jmol |
23 |
sci-mathematics/cvc3 |
24 |
sci-mathematics/e |
25 |
sci-mathematics/kodkodi |
26 |
-sci-mathematics/spass |
27 |
|
28 |
# Michał Górny <mgorny@g.o> (2019-08-14) |
29 |
# No longer builds. Homepage is gone, and its keep-alive fork is also |
30 |
|
31 |
diff --git a/sci-mathematics/spass/Manifest b/sci-mathematics/spass/Manifest |
32 |
deleted file mode 100644 |
33 |
index 00c5827991c..00000000000 |
34 |
--- a/sci-mathematics/spass/Manifest |
35 |
+++ /dev/null |
36 |
@@ -1 +0,0 @@ |
37 |
-DIST spass39.tgz 554633 BLAKE2B ca2215f205215805eace6abae82ad281bdadd75f2a52cfe3fed43cb15a4955a4e4d2375fc73a546592315540a7596494bc0df4c53996fd9299e901f68a81ddc8 SHA512 d7ea0697426c476f2e03b2f9078b7e060671067a67fad7144bb5887a2dd3f39e19e1888f121fce546b5d6ea9a4dc458d1cbec56b59c93507e7dc2d0afa25a89b |
38 |
|
39 |
diff --git a/sci-mathematics/spass/metadata.xml b/sci-mathematics/spass/metadata.xml |
40 |
deleted file mode 100644 |
41 |
index 93ca493501b..00000000000 |
42 |
--- a/sci-mathematics/spass/metadata.xml |
43 |
+++ /dev/null |
44 |
@@ -1,17 +0,0 @@ |
45 |
-<?xml version="1.0" encoding="UTF-8"?> |
46 |
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
47 |
-<pkgmetadata> |
48 |
- <maintainer type="person"> |
49 |
- <email>gienah@g.o</email> |
50 |
- </maintainer> |
51 |
- <maintainer type="project"> |
52 |
- <email>sci-mathematics@g.o</email> |
53 |
- <name>Gentoo Mathematics Project</name> |
54 |
- </maintainer> |
55 |
- <longdescription lang="en"> |
56 |
- SPASS: An Automated Theorem Prover for First-Order Logic with Equality. |
57 |
- </longdescription> |
58 |
- <use> |
59 |
- <flag name="isabelle">Add integration support for the Isabelle/HOL theorem prover.</flag> |
60 |
- </use> |
61 |
-</pkgmetadata> |
62 |
|
63 |
diff --git a/sci-mathematics/spass/spass-3.9.ebuild b/sci-mathematics/spass/spass-3.9.ebuild |
64 |
deleted file mode 100644 |
65 |
index c702deaec24..00000000000 |
66 |
--- a/sci-mathematics/spass/spass-3.9.ebuild |
67 |
+++ /dev/null |
68 |
@@ -1,145 +0,0 @@ |
69 |
-# Copyright 1999-2019 Gentoo Authors |
70 |
-# Distributed under the terms of the GNU General Public License v2 |
71 |
- |
72 |
-EAPI=7 |
73 |
- |
74 |
-inherit toolchain-funcs |
75 |
- |
76 |
-MY_PV=$(ver_rs 1- '' "${PV}") |
77 |
-MY_P="${PN}${MY_PV}" |
78 |
- |
79 |
-DESCRIPTION="An Automated Theorem Prover for First-Order Logic with Equality" |
80 |
-HOMEPAGE="http://www.spass-prover.org/" |
81 |
-SRC_URI="http://www.spass-prover.org/download/sources/${MY_P}.tgz" |
82 |
- |
83 |
-LICENSE="BSD-2" |
84 |
-SLOT="0/${PV}" |
85 |
-KEYWORDS="~amd64 ~x86" |
86 |
-IUSE="isabelle" |
87 |
- |
88 |
-RDEPEND="isabelle? ( |
89 |
- sci-mathematics/isabelle:= |
90 |
- )" |
91 |
-DEPEND="${RDEPEND}" |
92 |
- |
93 |
-src_unpack() { |
94 |
- mkdir -p "${P}" || die |
95 |
- cd "${S}" || die |
96 |
- unpack "${MY_P}.tgz" |
97 |
-} |
98 |
- |
99 |
-src_compile() { |
100 |
- einfo "generating parsers" |
101 |
- bison -d -p pro_ -o proparser.c proparser.y || die |
102 |
- bison -d -p tptp_ -o tptpparser.c tptpparser.y || die |
103 |
- bison -d -p ia_ -o iaparser.c iaparser.y || die |
104 |
- |
105 |
- einfo "generating lexers" |
106 |
- flex -Ppro_ -o proscanner.c proscanner.l || die |
107 |
- flex -Ptptp_ -o tptpscanner.c tptpscanner.l || die |
108 |
- flex -Pia_ -o iascanner.c iascanner.l || die |
109 |
- |
110 |
- einfo "compiling sources" |
111 |
- local x |
112 |
- for x in *.c |
113 |
- do |
114 |
- $(tc-getCC) \ |
115 |
- ${CPPFLAGS} ${CFLAGS} \ |
116 |
- -c -o ${x/.c/.o} ${x} || die "compile ${x} failed" |
117 |
- done |
118 |
- |
119 |
- einfo "linking tptp2dfg" |
120 |
- $(tc-getCC) \ |
121 |
- ${LDFLAGS} -o tptp2dfg \ |
122 |
- array.o clause.o cmdline.o context.o description.o dfg_diagnostic.o \ |
123 |
- dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o \ |
124 |
- tptpparser.o tptpscanner.o eml.o flags.o foldfg.o hashmap.o kbo.o \ |
125 |
- list.o memory.o misc.o order.o rpos.o sharing.o st.o stack.o \ |
126 |
- strings.o subst.o symbol.o term.o unify.o tptp2dfg.o -lm \ |
127 |
- || die "link tptp2dfg failed" |
128 |
- |
129 |
- einfo "linking dfg2ascii" |
130 |
- $(tc-getCC) \ |
131 |
- ${LDFLAGS} -o dfg2ascii \ |
132 |
- array.o clause.o cmdline.o context.o description.o dfg_diagnostic.o \ |
133 |
- dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o \ |
134 |
- tptpparser.o tptpscanner.o eml.o flags.o foldfg.o hashmap.o kbo.o \ |
135 |
- list.o memory.o misc.o order.o rpos.o sharing.o st.o stack.o \ |
136 |
- strings.o subst.o symbol.o term.o unify.o dfg2ascii.o -lm \ |
137 |
- || die "link dfg2ascii failed" |
138 |
- |
139 |
- einfo "linking dfg2dfg" |
140 |
- $(tc-getCC) \ |
141 |
- ${LDFLAGS} -o dfg2dfg \ |
142 |
- array.o clause.o cmdline.o context.o description.o dfg_diagnostic.o \ |
143 |
- dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o \ |
144 |
- tptpparser.o tptpscanner.o eml.o flags.o foldfg.o hashmap.o kbo.o \ |
145 |
- list.o memory.o misc.o order.o rpos.o sharing.o st.o stack.o \ |
146 |
- strings.o subst.o symbol.o term.o unify.o approx.o dfg2dfg.o -lm \ |
147 |
- || die "link dfg2dfg failed" |
148 |
- |
149 |
- einfo "linking SPASS" |
150 |
- $(tc-getCC) \ |
151 |
- ${LDFLAGS} -o SPASS \ |
152 |
- array.o clause.o cmdline.o context.o description.o dfg_diagnostic.o \ |
153 |
- dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o \ |
154 |
- tptpparser.o tptpscanner.o eml.o flags.o foldfg.o hashmap.o kbo.o \ |
155 |
- list.o memory.o misc.o order.o rpos.o sharing.o st.o stack.o \ |
156 |
- strings.o subst.o symbol.o term.o unify.o analyze.o clock.o \ |
157 |
- closure.o cnf.o component.o condensing.o defs.o doc-proof.o graph.o \ |
158 |
- hash.o hasharray.o iaparser.o iascanner.o partition.o proofcheck.o \ |
159 |
- ras.o renaming.o resolution.o rules-inf.o rules-red.o rules-sort.o \ |
160 |
- rules-split.o rules-ur.o search.o sort.o subsumption.o table.o \ |
161 |
- tableau.o terminator.o top.o vector.o -lm \ |
162 |
- || die "link SPASS failed" |
163 |
-} |
164 |
- |
165 |
-src_install() { |
166 |
- exeinto /usr/bin |
167 |
- local x |
168 |
- for x in tptp2dfg dfg2ascii dfg2dfg SPASS |
169 |
- do |
170 |
- doexe ${x} |
171 |
- done |
172 |
- |
173 |
- if use isabelle; then |
174 |
- ewarn "All open source versions of spass are broken with Isabelle 2016.1" |
175 |
- ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" |
176 |
- [[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty" |
177 |
- dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" |
178 |
- cat <<- EOF >> "${S}/settings" |
179 |
- SPASS_HOME="${EROOT}/usr/bin" |
180 |
- SPASS_VERSION="${PV}" |
181 |
- EOF |
182 |
- insinto "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" |
183 |
- doins "${S}/settings" |
184 |
- fi |
185 |
-} |
186 |
- |
187 |
-pkg_postinst() { |
188 |
- if use isabelle; then |
189 |
- if [ -f "${EROOT}/etc/isabelle/components" ]; then |
190 |
- if egrep "contrib/${PN}-[0-9.]*" "${EROOT}/etc/isabelle/components"; then |
191 |
- sed -e "/contrib\/${PN}-[0-9.]*/d" \ |
192 |
- -i "${EROOT}/etc/isabelle/components" |
193 |
- fi |
194 |
- cat <<- EOF >> "${EROOT}/etc/isabelle/components" |
195 |
- contrib/${PN}-${PV} |
196 |
- EOF |
197 |
- fi |
198 |
- fi |
199 |
-} |
200 |
- |
201 |
-pkg_postrm() { |
202 |
- if use isabelle; then |
203 |
- if [ ! -f "${EROOT}/usr/bin/SPASS" ]; then |
204 |
- if [ -f "${EROOT}/etc/isabelle/components" ]; then |
205 |
- # Note: this sed should only match the version of this ebuild |
206 |
- # Which is what we want as we do not want to remove the line |
207 |
- # of a new spass being installed during an upgrade. |
208 |
- sed -e "/contrib\/${PN}-${PV}/d" \ |
209 |
- -i "${EROOT}/etc/isabelle/components" |
210 |
- fi |
211 |
- fi |
212 |
- fi |
213 |
-} |