David,
Rob Arthan wrote:
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.
Out of interest, I have tried this and it compiles OK. However I think
that multi-threading is causing a problem with it. If I execute:
val shell = Motif.XtAppInitialise "" "HelloWorld" "HW" [] [];
val btn = Motif.XmCreatePushButton shell "hello-btn" [
Motif.XmNlabelString "Hello World!"
];
I typically get the following error:
Xlib: unexpected async reply (sequence 0x6c)!
On one occasion it worked. but when I carry on and do:
val _ = Motif.XtManageChild btn;
val _ = Motif.XtRealizeWidget shell;
nothing happens. The example program in the documentation has similar
problems.
I should say again that this is not a problem for me as I don't need to
use the X or Motif interfaces at the moment.
Regards,
Rob.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
