Admin/polyml/README
author haftmann
Mon, 05 Jul 2010 15:12:20 +0200
changeset 37715 44b27ea94a16
parent 37122 3ac12f743fe5
child 38469 5c6c5d63f3c3
permissions -rw-r--r--
tuned proof


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:

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).


	Makarius
	26-May-2010