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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
