Hi,
as described here
http://www.cs.unm.edu/~mccune/prover9/gui/v05.html
(Known Linux Problems)
the prover9-gui prover9-mace4 suffers from a bug in wxPython on 64bit systems.
With the given work around I can use the gui on amd64.
Of course it would be better to fix the real bug instead of providing a work
around but I don't have any python skills at all and unfortunately lack the time
to start some serious learning at the moment.
I don't think the patch would do any harm on 32bit systems but it might be
cleaner to restrict it to 64bit systems. Is there a way to tell the ports
system to do that?
Index: Makefile
===================================================================
RCS file: /cvs/ports/math/prover9/p9m4/Makefile,v
retrieving revision 1.5
diff -u -p -u -p -r1.5 Makefile
--- Makefile 16 Sep 2011 10:31:22 -0000 1.5
+++ Makefile 1 Jun 2012 00:24:16 -0000
@@ -4,7 +4,7 @@ COMMENT= prover9/mace4 GUI
DISTNAME= p9m4-v05
PKGNAME= ${DISTNAME:S/v//}
-REVISION = 2
+REVISION = 3
MASTER_SITES= ${HOMEPAGE}/gui/
Index: patches/patch-options_py
===================================================================
RCS file: patches/patch-options_py
diff -N patches/patch-options_py
--- /dev/null 1 Jan 1970 00:00:00 -0000
+++ patches/patch-options_py 1 Jun 2012 00:24:16 -0000
@@ -0,0 +1,12 @@
+$OpenBSD$
+--- options.py.orig Fri Jun 1 02:04:14 2012
++++ options.py Fri Jun 1 02:06:04 2012
+@@ -27,7 +27,7 @@ import wx
+
+ import utilities
+ from wx_utilities import *
+-
++sys.maxint = 2147483647 # avoids bug in wx.SpinCtrl on 64-bit systems
+ # Types of Option record:
+
+ Flag = 0 # Boolean value
