New subject: [polyml] Latest SVN version

8 Nov 2009


      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.