Rob,
Rob Arthan wrote:
RC2 is working fine for ProofPower. I am testing on Snow Leopard using SVN rev 924 of the Poly/ML source. I tried both x86_64 and i386 architectures - to get the latter work you still seem to have to specify CXXFLAGS etc. I see that configure is still using xmkmf to test for X windows and therefore not finding it.
I think any change here needs to wait for updates to autoconf. I'd prefer not to put any special tests in myself.
That's fine by me - I don't need the X bindings at the moment and I am sure it would be easy to work around the problem if I did.
Assuming that you have the Motif libraries installed as well as the other X libraries you ought to be able to compile it in by giving the appropriate paths: ./configure --with-x --x-includes=/usr/X11R6/include \ --x-libraries=/usr/X11R6/lib
Don't forget configure no longer compiles in X-Windows by default. You have to give the --with-x option explicitly.
Regards, David