# HG changeset patch # User wenzelm # Date 1274866463 -7200 # Node ID 3ac12f743fe5ecc5f85bd6988013b3079d2272a4 # Parent 8e51fc35d59f2e7b7b8158f77ed9b76ec9277795 misc updates for release; diff -r 8e51fc35d59f -r 3ac12f743fe5 Admin/polyml/README --- 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