--- a/Admin/polyml/README Tue May 25 23:03:13 2010 +0200
+++ b/Admin/polyml/README Wed May 26 11:34:23 2010 +0200
@@ -1,18 +1,27 @@
-This distribution of Poly/ML 5.3 has been compiled from the original
-sources as follows:
+This distribution of Poly/ML 5.3 is based on the original
+polyml.5.3.tar.gz from http://www.polyml.org with some minimal changes:
- tar xvzf polyml.5.3.tar.gz
+diff polyml.5.3/libpolyml/processes.cpp-orig polyml.5.3/libpolyml/processes.cpp
+995,996c995,996
+< // we set this to 100ms so that we're not waiting too long.
+< if (maxMillisecs > 100) maxMillisecs = 100;
+---
+> // we set this to 10ms so that we're not waiting too long.
+> if (maxMillisecs > 10) maxMillisecs = 10;
+
+
+Then it is compiled as follows:
+
cd polyml.5.3
./configure --prefix="$HOME/tmp/polyml"
make
make install
+
Now $HOME/tmp/polyml/bin/* and $HOME/tmp/polyml/lib/* are moved to the
platform-specific target directory (e.g. polyml-5.3.0/x86-linux).
-Note that Isabelle/lib/scripts/polyml-platform identifies your
-platform.
Makarius
- 09-Nov-2009
+ 26-May-2010