1 |
commit: 10a3c68f62370378259762b94fb9689231358ece |
2 |
Author: Mikle Kolyada <zlogene <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Jan 12 17:47:04 2020 +0000 |
4 |
Commit: Mikle Kolyada <zlogene <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Jan 12 17:47:12 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=10a3c68f |
7 |
|
8 |
sci-mathematics/p9m4: remove last-rited pkg |
9 |
|
10 |
Signed-off-by: Mikle Kolyada <zlogene <AT> gentoo.org> |
11 |
|
12 |
sci-mathematics/p9m4/Manifest | 2 - |
13 |
sci-mathematics/p9m4/files/p9m4-v05-package.patch | 67 ---------------- |
14 |
.../p9m4/files/p9m4-v05-python2.6.patch | 44 ----------- |
15 |
.../p9m4/files/p9m4-v05-use-inst-paths.patch | 42 ---------- |
16 |
sci-mathematics/p9m4/metadata.xml | 17 ---- |
17 |
sci-mathematics/p9m4/p9m4-05-r1.ebuild | 92 ---------------------- |
18 |
6 files changed, 264 deletions(-) |
19 |
|
20 |
diff --git a/sci-mathematics/p9m4/Manifest b/sci-mathematics/p9m4/Manifest |
21 |
deleted file mode 100644 |
22 |
index ec27d132fe6..00000000000 |
23 |
--- a/sci-mathematics/p9m4/Manifest |
24 |
+++ /dev/null |
25 |
@@ -1,2 +0,0 @@ |
26 |
-DIST p9m4-v05-64bit.patch.bz2 5095 BLAKE2B b49ee327ee9f05403d68d61eb162d6a9dd4b5786adb625eebbe7e6d2f47c36e54ec05e0594bc82a4152f7d92f88b8f2ac044732dc3df72c710c0ef3fbde560d7 SHA512 b80ea7ae9b652b55eee2542ba8d45712871e56dfda2e97bae2011a521e732d221a5c6a36ba33269a80f02ddc98a8f3c2470c7e832fc2b79331e7cca551aa7a36 |
27 |
-DIST p9m4-v05.tar.gz 889707 BLAKE2B 09407ba998e72b2b90b96a90e668114c16bd4c15d853354f8e86cc5b1ea0533f99548a35f048f504e40f61702b95de197309f22abd7b3e38fabef6dbfcc06280 SHA512 6ed8f3a5ab6e6b876eee388ab0f1bc535e60432317131657ba518781912f0f851aeab361d0169f96e29538130d691cf2d3798135e2386a7793799f0c4931120e |
28 |
|
29 |
diff --git a/sci-mathematics/p9m4/files/p9m4-v05-package.patch b/sci-mathematics/p9m4/files/p9m4-v05-package.patch |
30 |
deleted file mode 100644 |
31 |
index 9ca737ce2ff..00000000000 |
32 |
--- a/sci-mathematics/p9m4/files/p9m4-v05-package.patch |
33 |
+++ /dev/null |
34 |
@@ -1,67 +0,0 @@ |
35 |
---- p9m4-v05-orig/setup.py 2007-11-17 09:31:26.000000000 +1100 |
36 |
-+++ p9m4-v05/setup.py 2012-07-02 23:48:21.753760992 +1000 |
37 |
-@@ -26,23 +26,24 @@ |
38 |
- |
39 |
- from setuptools import setup |
40 |
- |
41 |
--APP = ['prover9-mace4.py'] |
42 |
--DATA_FILES = ['platforms.py', |
43 |
-- 'utilities.py', |
44 |
-- 'wx_utilities.py', |
45 |
-- 'files.py', |
46 |
-- 'options.py', |
47 |
-- 'partition_input.py', |
48 |
-- 'my_setup.py', |
49 |
-- 'control.py', |
50 |
-- 'Images', |
51 |
-- 'Samples', |
52 |
-- 'bin-mac'] |
53 |
--OPTIONS = {'argv_emulation': True, 'iconfile': '/Users/mccune/gui/v4/p9.icns'} |
54 |
-+OPTIONS = {'argv_emulation': True, 'iconfile': '/usr/share/p9m4/Images/p9.ico'} |
55 |
- |
56 |
- setup( |
57 |
-- app=APP, |
58 |
-- data_files=DATA_FILES, |
59 |
-- options={'py2app': OPTIONS}, |
60 |
-- setup_requires=['py2app'], |
61 |
-+ name='p9m4', |
62 |
-+ version='05', |
63 |
-+ scripts=['prover9-mace4.py'], |
64 |
-+ package_dir = {'p9m4': 'p9m4'}, |
65 |
-+ py_modules=['p9m4.platforms', |
66 |
-+ 'p9m4.utilities', |
67 |
-+ 'p9m4.wx_utilities', |
68 |
-+ 'p9m4.files', |
69 |
-+ 'p9m4.options', |
70 |
-+ 'p9m4.partition_input', |
71 |
-+ 'p9m4.my_setup', |
72 |
-+ 'p9m4.control'], |
73 |
-+ # remove py2app |
74 |
-+ # https://bugs.gentoo.org/show_bug.cgi?id=423555 |
75 |
-+ # sci-mathematics/p9m4-05: tries to use network during install |
76 |
-+ # options={'py2app': OPTIONS}, |
77 |
-+ # setup_requires=['py2app'], |
78 |
- ) |
79 |
---- p9m4-v05-orig/prover9-mace4.py 2007-12-08 03:27:13.000000000 +1100 |
80 |
-+++ p9m4-v05/prover9-mace4.py 2012-01-08 18:12:09.970620044 +1100 |
81 |
-@@ -27,13 +27,13 @@ |
82 |
- |
83 |
- # local imports |
84 |
- |
85 |
--import partition_input |
86 |
--import utilities |
87 |
--from files import * |
88 |
--from platforms import * |
89 |
--from wx_utilities import * |
90 |
--from my_setup import * |
91 |
--from control import * |
92 |
-+import p9m4.partition_input |
93 |
-+import p9m4.utilities |
94 |
-+from p9m4.files import * |
95 |
-+from p9m4.platforms import * |
96 |
-+from p9m4.wx_utilities import * |
97 |
-+from p9m4.my_setup import * |
98 |
-+from p9m4.control import * |
99 |
- |
100 |
- Program_name = 'Prover9-Mace4' |
101 |
- Program_version = '0.5' |
102 |
|
103 |
diff --git a/sci-mathematics/p9m4/files/p9m4-v05-python2.6.patch b/sci-mathematics/p9m4/files/p9m4-v05-python2.6.patch |
104 |
deleted file mode 100644 |
105 |
index 70cb006d268..00000000000 |
106 |
--- a/sci-mathematics/p9m4/files/p9m4-v05-python2.6.patch |
107 |
+++ /dev/null |
108 |
@@ -1,44 +0,0 @@ |
109 |
-diff -Nur p9m4-0.5/my_setup.py p9m4-0.5.new/my_setup.py |
110 |
---- p9m4-0.5/my_setup.py 2008-01-14 23:30:55.000000000 +0000 |
111 |
-+++ p9m4-0.5.new/my_setup.py 2008-01-14 23:35:45.000000000 +0000 |
112 |
-@@ -158,7 +158,9 @@ |
113 |
- self.ed.SetStyle(start, end, |
114 |
- wx.TextAttr('RED', |
115 |
- wx.Colour(200,200,255))) |
116 |
-- error_dialog('%s\n%s' % (message,error if error else '')) |
117 |
-+ error_dialog('%s\n%s' % (message,error)) |
118 |
-+ else: |
119 |
-+ error_dialog(message) |
120 |
- else: |
121 |
- frame = Text_frame(self, to_top(self).box_font, |
122 |
- 'Error Output', |
123 |
-diff -Nur p9m4-0.5/partition_input.py p9m4-0.5.new/partition_input.py |
124 |
---- p9m4-0.5/partition_input.py 2008-01-14 23:30:55.000000000 +0000 |
125 |
-+++ p9m4-0.5.new/partition_input.py 2008-01-14 23:35:45.000000000 +0000 |
126 |
-@@ -63,14 +63,23 @@ |
127 |
- m2 = r2.search(str, m1.end()) |
128 |
- while m2 and in_span(m2.start(), comments): |
129 |
- m2 = r2.search(str, m2.end()) |
130 |
-- match_end = m2.end() if m2 else len(str) |
131 |
-+ if m2: |
132 |
-+ match_end = m2.end() |
133 |
-+ else: |
134 |
-+ match_end = len(str) |
135 |
- other += str[other_start:m1.start()] |
136 |
- if remove_patterns: |
137 |
- keep_start = m1.end() |
138 |
-- keep_end = m2.start() if m2 else len(str) |
139 |
-+ if m2: |
140 |
-+ keep_end = m2.start() |
141 |
-+ else: |
142 |
-+ keep_end = len(str) |
143 |
- else: |
144 |
- keep_start = m1.start() |
145 |
-- keep_end = m2.end() if m2 else len(str) |
146 |
-+ if m2: |
147 |
-+ keep_end = m2.end() |
148 |
-+ else: |
149 |
-+ keep_end = len(str) |
150 |
- matched += str[keep_start:keep_end] |
151 |
- next = other_start = match_end |
152 |
- else: |
153 |
|
154 |
diff --git a/sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch b/sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch |
155 |
deleted file mode 100644 |
156 |
index 5b48b94b27b..00000000000 |
157 |
--- a/sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch |
158 |
+++ /dev/null |
159 |
@@ -1,42 +0,0 @@ |
160 |
-diff -Nur p9m4-0.5/files.py p9m4-0.5.new/files.py |
161 |
---- p9m4-0.5/files.py 2008-01-14 23:31:00.000000000 +0000 |
162 |
-+++ p9m4-0.5.new/files.py 2008-01-14 23:39:51.000000000 +0000 |
163 |
-@@ -51,6 +51,9 @@ |
164 |
- return sys.path[0] |
165 |
- # return os.path.dirname(os.path.abspath(sys.argv[0])) |
166 |
- |
167 |
-+def data_dir(): |
168 |
-+ return '/usr/share/p9m4' |
169 |
-+ |
170 |
- def bin(): |
171 |
- if Win32(): |
172 |
- return 'bin-win32' |
173 |
-@@ -63,13 +66,13 @@ |
174 |
- return 'bin' |
175 |
- |
176 |
- def bin_dir(): |
177 |
-- return os.path.join(program_dir(), bin()) |
178 |
-+ return '/usr/bin' |
179 |
- |
180 |
- def image_dir(): |
181 |
-- return os.path.join(program_dir(), 'Images') |
182 |
-+ return os.path.join(data_dir(), 'Images') |
183 |
- |
184 |
- def sample_dir(): |
185 |
-- return os.path.join(program_dir(), 'Samples') |
186 |
-+ return os.path.join(data_dir(), 'Samples') |
187 |
- |
188 |
- def binary_ok(fullpath): |
189 |
- if not fullpath: |
190 |
-diff -Nur p9m4-0.5/prover9-mace4.py p9m4-0.5.new/prover9-mace4.py |
191 |
---- p9m4-0.5/prover9-mace4.py 2007-12-07 16:27:13.000000000 +0000 |
192 |
-+++ p9m4-0.5.new/prover9-mace4.py 2008-02-10 22:45:45.000000000 +0000 |
193 |
-@@ -27,6 +27,8 @@ |
194 |
- |
195 |
- # local imports |
196 |
- |
197 |
-+sys.path.append('/usr/share/p9m4/lib') |
198 |
-+ |
199 |
- import partition_input |
200 |
- import utilities |
201 |
- from files import * |
202 |
|
203 |
diff --git a/sci-mathematics/p9m4/metadata.xml b/sci-mathematics/p9m4/metadata.xml |
204 |
deleted file mode 100644 |
205 |
index a1db72097c3..00000000000 |
206 |
--- a/sci-mathematics/p9m4/metadata.xml |
207 |
+++ /dev/null |
208 |
@@ -1,17 +0,0 @@ |
209 |
-<?xml version="1.0" encoding="UTF-8"?> |
210 |
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
211 |
-<pkgmetadata> |
212 |
-<maintainer type="person"> |
213 |
- <email>gienah@g.o</email> |
214 |
-</maintainer> |
215 |
-<maintainer type="project"> |
216 |
- <email>sci-mathematics@g.o</email> |
217 |
- <name>Gentoo Mathematics Project</name> |
218 |
-</maintainer> |
219 |
-<longdescription lang="en"> |
220 |
- This is a Graphical User Interface for Prover9 and Mace4. |
221 |
- Prover9 is an automated theorem prover for first-order and |
222 |
- equational logic, and Mace4 searches for finite models and |
223 |
- counterexamples. Prover9 is the successor of the Otter prover. |
224 |
-</longdescription> |
225 |
-</pkgmetadata> |
226 |
|
227 |
diff --git a/sci-mathematics/p9m4/p9m4-05-r1.ebuild b/sci-mathematics/p9m4/p9m4-05-r1.ebuild |
228 |
deleted file mode 100644 |
229 |
index 29cb679eeb2..00000000000 |
230 |
--- a/sci-mathematics/p9m4/p9m4-05-r1.ebuild |
231 |
+++ /dev/null |
232 |
@@ -1,92 +0,0 @@ |
233 |
-# Copyright 1999-2019 Gentoo Authors |
234 |
-# Distributed under the terms of the GNU General Public License v2 |
235 |
- |
236 |
-EAPI=7 |
237 |
- |
238 |
-PYTHON_COMPAT=( python2_7 ) |
239 |
- |
240 |
-inherit distutils-r1 |
241 |
- |
242 |
-MY_PN="p9m4-v" |
243 |
-MY_P="${MY_PN}${PV}" |
244 |
- |
245 |
-DESCRIPTION="This is a Graphical User Interface for Prover9 and Mace4" |
246 |
-HOMEPAGE="https://www.cs.unm.edu/~mccune/mace4/" |
247 |
-SRC_URI=" |
248 |
- https://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz |
249 |
- https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2" |
250 |
- |
251 |
-LICENSE="GPL-2" |
252 |
-SLOT="0" |
253 |
-KEYWORDS="~amd64 ~x86" |
254 |
-IUSE="examples" |
255 |
- |
256 |
-RDEPEND=" |
257 |
- dev-python/wxpython[${PYTHON_USEDEP}] |
258 |
- sci-mathematics/prover9" |
259 |
-DEPEND=" |
260 |
- ${RDEPEND} |
261 |
- dev-python/setuptools[${PYTHON_USEDEP}]" |
262 |
- |
263 |
-PATCHES=( |
264 |
- "${WORKDIR}"/${MY_PN}05-64bit.patch |
265 |
- "${FILESDIR}"/${MY_PN}05-use-inst-paths.patch |
266 |
- "${FILESDIR}"/${MY_PN}05-package.patch |
267 |
- "${FILESDIR}"/${MY_PN}05-python2.6.patch |
268 |
-) |
269 |
- |
270 |
-S="${WORKDIR}/${MY_P}" |
271 |
- |
272 |
-python_prepare_all() { |
273 |
- distutils-r1_python_prepare_all |
274 |
- |
275 |
- rm -f \ |
276 |
- p9m4-v05/bin/prover9 \ |
277 |
- p9m4-v05/bin/mace4 \ |
278 |
- p9m4-v05/bin/interpformat \ |
279 |
- p9m4-v05/bin/prooftrans \ |
280 |
- p9m4-v05/bin/isofilter \ |
281 |
- p9m4-v05/bin/isofilter2 || die "Could not rm old executables" |
282 |
- |
283 |
- mkdir p9m4 || die "Could not create directory p9m4" |
284 |
- mv Mac-setup.py \ |
285 |
- Win32-setup.py \ |
286 |
- control.py \ |
287 |
- files.py \ |
288 |
- my_setup.py \ |
289 |
- options.py \ |
290 |
- partition_input.py \ |
291 |
- platforms.py \ |
292 |
- utilities.py \ |
293 |
- wx_utilities.py \ |
294 |
- p9m4 \ |
295 |
- || die "Could not move package p9m4 python files to p9m4 directory" |
296 |
- touch p9m4/__init__.py \ |
297 |
- || die "Could not create empty p9m4/__init__.py file" |
298 |
-} |
299 |
- |
300 |
-python_install_all() { |
301 |
- distutils-r1_python_install_all |
302 |
- |
303 |
- dosym prover9-mace4.py /usr/bin/prover9-mace4 |
304 |
- |
305 |
- insinto /usr/share/${PN}/Images |
306 |
- doins Images/*.{gif,ico} |
307 |
- |
308 |
- if use examples; then |
309 |
- insinto /usr/share/${PN}/Samples |
310 |
- doins Samples/*.in |
311 |
- |
312 |
- insinto /usr/share/${PN}/Samples/Equality/Mace4 |
313 |
- doins Samples/Equality/Mace4/*.in |
314 |
- |
315 |
- insinto /usr/share/${PN}/Samples/Equality/Prover9 |
316 |
- doins Samples/Equality/Prover9/*.in |
317 |
- |
318 |
- insinto /usr/share/${PN}/Samples/Non-Equality/Mace4 |
319 |
- doins Samples/Non-Equality/Mace4/*.in |
320 |
- |
321 |
- insinto /usr/share/${PN}/Samples/Non-Equality/Prover9 |
322 |
- doins Samples/Non-Equality/Prover9/*.in |
323 |
- fi |
324 |
-} |