1.1 --- a/Admin/polyml/README	Tue May 25 23:03:13 2010 +0200
     1.2 +++ b/Admin/polyml/README	Wed May 26 11:34:23 2010 +0200
     1.3 @@ -1,18 +1,27 @@
     1.4  
     1.5 -This distribution of Poly/ML 5.3 has been compiled from the original
     1.6 -sources as follows:
     1.7 +This distribution of Poly/ML 5.3 is based on the original
     1.8 +polyml.5.3.tar.gz from http://www.polyml.org with some minimal changes:
     1.9  
    1.10 -  tar xvzf polyml.5.3.tar.gz
    1.11 +diff polyml.5.3/libpolyml/processes.cpp-orig polyml.5.3/libpolyml/processes.cpp
    1.12 +995,996c995,996
    1.13 +<     // we set this to 100ms so that we're not waiting too long.
    1.14 +<     if (maxMillisecs > 100) maxMillisecs = 100;
    1.15 +---
    1.16 +>     // we set this to 10ms so that we're not waiting too long.
    1.17 +>     if (maxMillisecs > 10) maxMillisecs = 10;
    1.18 +
    1.19 +
    1.20 +Then it is compiled as follows:
    1.21 +
    1.22    cd polyml.5.3
    1.23    ./configure --prefix="$HOME/tmp/polyml"
    1.24    make
    1.25    make install
    1.26  
    1.27 +
    1.28  Now $HOME/tmp/polyml/bin/* and $HOME/tmp/polyml/lib/* are moved to the
    1.29  platform-specific target directory (e.g. polyml-5.3.0/x86-linux).
    1.30 -Note that Isabelle/lib/scripts/polyml-platform identifies your
    1.31 -platform.
    1.32  
    1.33  
    1.34  	Makarius
    1.35 -	09-Nov-2009
    1.36 +	26-May-2010