| 1 |
gienah 12/07/02 14:20:07 |
| 2 |
|
| 3 |
Modified: p9m4-v05-package.patch |
| 4 |
Log: |
| 5 |
Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use network during install. Thanks to Diego Elio Petteno (flameeyes) for reporting. |
| 6 |
|
| 7 |
(Portage version: 2.1.11.3/cvs/Linux x86_64) |
| 8 |
|
| 9 |
Revision Changes Path |
| 10 |
1.2 sci-mathematics/p9m4/files/p9m4-v05-package.patch |
| 11 |
|
| 12 |
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/p9m4/files/p9m4-v05-package.patch?rev=1.2&view=markup |
| 13 |
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/p9m4/files/p9m4-v05-package.patch?rev=1.2&content-type=text/plain |
| 14 |
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/p9m4/files/p9m4-v05-package.patch?r1=1.1&r2=1.2 |
| 15 |
|
| 16 |
Index: p9m4-v05-package.patch |
| 17 |
=================================================================== |
| 18 |
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/p9m4/files/p9m4-v05-package.patch,v |
| 19 |
retrieving revision 1.1 |
| 20 |
retrieving revision 1.2 |
| 21 |
diff -u -r1.1 -r1.2 |
| 22 |
--- p9m4-v05-package.patch 8 Jan 2012 14:48:53 -0000 1.1 |
| 23 |
+++ p9m4-v05-package.patch 2 Jul 2012 14:20:07 -0000 1.2 |
| 24 |
@@ -1,6 +1,6 @@ |
| 25 |
--- p9m4-v05-orig/setup.py 2007-11-17 09:31:26.000000000 +1100 |
| 26 |
-+++ p9m4-v05/setup.py 2012-01-08 20:02:53.917240674 +1100 |
| 27 |
-@@ -26,23 +26,21 @@ |
| 28 |
++++ p9m4-v05/setup.py 2012-07-02 23:48:21.753760992 +1000 |
| 29 |
+@@ -26,23 +26,24 @@ |
| 30 |
|
| 31 |
from setuptools import setup |
| 32 |
|
| 33 |
@@ -22,6 +22,8 @@ |
| 34 |
setup( |
| 35 |
- app=APP, |
| 36 |
- data_files=DATA_FILES, |
| 37 |
+- options={'py2app': OPTIONS}, |
| 38 |
+- setup_requires=['py2app'], |
| 39 |
+ name='p9m4', |
| 40 |
+ version='05', |
| 41 |
+ scripts=['prover9-mace4.py'], |
| 42 |
@@ -34,8 +36,11 @@ |
| 43 |
+ 'p9m4.partition_input', |
| 44 |
+ 'p9m4.my_setup', |
| 45 |
+ 'p9m4.control'], |
| 46 |
- options={'py2app': OPTIONS}, |
| 47 |
- setup_requires=['py2app'], |
| 48 |
++ # remove py2app |
| 49 |
++ # https://bugs.gentoo.org/show_bug.cgi?id=423555 |
| 50 |
++ # sci-mathematics/p9m4-05: tries to use network during install |
| 51 |
++ # options={'py2app': OPTIONS}, |
| 52 |
++ # setup_requires=['py2app'], |
| 53 |
) |
| 54 |
--- p9m4-v05-orig/prover9-mace4.py 2007-12-08 03:27:13.000000000 +1100 |
| 55 |
+++ p9m4-v05/prover9-mace4.py 2012-01-08 18:12:09.970620044 +1100 |
Archives