--- a/Admin/polyml-5.1/README Wed Nov 21 16:40:51 2007 +0100
+++ b/Admin/polyml-5.1/README Thu Nov 22 14:48:52 2007 +0100
@@ -1,20 +1,20 @@
This distribution of Poly/ML 5.1 has been compiled from the original
-sources as follows:
+sources (as available from http://sourceforge.net/projects/polyml/):
- cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
- cd polyml
- cvs up -dAP
+ tar xvzf polyml.5.1.tar.gz
+ cd polyml.5.1
./configure --prefix=/tmp/polyml --without-x
make
make install
Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
-platform-specific target directory (e.g. polyml-5.1/x86-linux). Run
-Isabelle/lib/scripts/polyml-platform to identify your platform.
+platform-specific target directory (e.g. polyml-5.1/x86-linux). Note
+that the script Isabelle/lib/scripts/polyml-platform identifies your
+platform.
Makarius
- 15-Nov-2007
+ 22-Nov-2007
$Id$