--- a/Admin/polyml/README Tue Jun 03 14:32:37 2008 +0200
+++ b/Admin/polyml/README Tue Jun 03 16:45:59 2008 +0200
@@ -2,19 +2,19 @@
This distribution of Poly/ML 5.2 has been compiled from the original
sources as follows:
- cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
- cd polyml
- cvs up -dAP
+ tar xvzf polyml.5.2.tar.gz
+ cd polyml.5.2
+ chmod +x install-sh
./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.2/x86-linux). Run
-Isabelle/lib/scripts/polyml-platform to identify your platform.
+platform-specific target directory (e.g. polyml-5.2/x86-linux). Note
+that Isabelle/lib/scripts/polyml-platform identifies your platform.
Makarius
- 28-May-2008
+ 03-Jun-2008
$Id$