David,
As I am not using the X Windows support at the moment, everything is OK for me on Snow Leopard with Poly/ML at revision 881. However, configure is still not recognising that X is present as we discussed in:
http://lists.inf.ed.ac.uk/mailman/private/polyml/2009-September/000579.html
I have also tried revision 882 on Ubuntu 8.04 running on a 32 bit Pentium. That's OK for ProofPower, but there is a different problem with the X Window support. configure does detect X, but if I use --with-x, the compilation fails as follows:
Error- in 'mlsource/extra/XWindows/ml_bind.ML', line 2447. Value or constructor (PrettyString) has not been declared in structure PolyML Found near let val R = DestructRect(r) in PolyML.PrettyString(^( "Rect ", ...(...))) end Error- in 'mlsource/extra/XWindows/ml_bind.ML', line 2450. Value or constructor (addPrettyPrinter) has not been declared in structure PolyML Found near let open XWindows; fun ...(...) = let ... in ... end in PolyML.addPrettyPrinter(printRect) end mlsource/extra/XWindows was not declared make[2]: *** [polyexport.o] Error 1 make[2]: Leaving directory `/home/rda/poly/latest/polyml/polyml' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/rda/poly/latest/polyml/polyml' make: *** [all] Error 2
Regards,
Rob.