# HG changeset patch
# User wenzelm
# Date 1212010956 -7200
# Node ID e6ba565eb4367e5a6114d672921af3335b9fb373
# Parent  4856b752a57cdc7f0a7b4155b39173ff986763dc
README for Poly/ML 5.2 distribution;

diff -r 4856b752a57c -r e6ba565eb436 Admin/README-polyml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/README-polyml	Wed May 28 23:42:36 2008 +0200
@@ -0,0 +1,20 @@
+
+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
+  ./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.
+
+
+	Makarius
+	28-May-2008
+
+$Id$