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.