# HG changeset patch
# User wenzelm
# Date 1282061048 -7200
# Node ID 5c6c5d63f3c3ef0c94f1fc609af5b4546f266be8
# Parent  01d70ada9284ce448da372c3e2cd1c4a36bed22f
updated for prospective Poly/ML 5.4;

diff -r 01d70ada9284 -r 5c6c5d63f3c3 Admin/polyml/README
--- a/Admin/polyml/README	Tue Aug 17 17:57:05 2010 +0200
+++ b/Admin/polyml/README	Tue Aug 17 18:04:08 2010 +0200
@@ -1,27 +1,15 @@
-
-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:
+Poly/ML for Isabelle
+====================
 
-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;
+This distribution of Poly/ML 5.4 has been compiled from the original
+sources using the included build script.  For example:
 
-
-Then it is compiled as follows:
+  ./build polyml.5.4 x86-linux --with-gmp
 
-  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).
+The resulting executables and shared libraries are moved to
+x86-linux/.  This directory layout accomodates the standard ML_HOME
+settings for Isabelle.
 
 
 	Makarius
-	26-May-2010
+	17-Aug-2010