David,
I've done my other tests and it's working fine. I have just a couple of
observations.
1) On Mac OS (and presumably any system with clang as the C compiler), the
configure script gives a warning. (I just let this go by and nothing seems to
have gone wrong.)
checking for C compiler vendor... clang
********************************************************
* WARNING: Don't know the best CFLAGS for this system *
* Use ./configure CFLAGS=... to specify your own flags *
* (otherwise, a default of CFLAGS=-O3 will be used) *
********************************************************
2) The configure script doesn't complain about unrecognised options beginning
with --enable. E.g,
configure --enable-garbage
just carries on. This fooled me when I managed to misspell
--enable-intinf-as-int.
If this is forced upon you by autoconfig, then so be it.
Many thanks for your rapid turnround with the earlier problems.
Your great work on Poly/ML is very much appreciated.
Regards,
Rob.
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
