There have been a couple of updates to the Poly/ML CVS repository
recently apart from those already mentioned on the list. They are both
in the C++ run-time system.
The mechanism for waiting for external events has been improved which
mainly affects Windows pipes and processes. In particular
Windows.execute is now much faster when reading from a pipe.
I noticed some strange warning messages when building Poly/ML on Cygwin
on a new machine of the form
"Warning: linker path does not have real file for library -lXXX"
It turned out that this was as a result of not having installed the
"file" package (/usr/bin/file) rather than anything to do with Poly/ML.
Installing this fixed the problem so I've added a test in the
configure script which checks for the presence of /usr/bin/file when
compiling on Cygwin and produces a more explanatory message if it's not
there.
David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml