# HG changeset patch
# User wenzelm
# Date 1193253164 -7200
# Node ID 7c86f9ed85886b6d8a8a15a2e6cc74555a9523a2
# Parent  16a99bc767178720719f25fed92a2ecf82addc93
README for polyml-5.1 binary distribution;

diff -r 16a99bc76717 -r 7c86f9ed8588 Admin/polyml-5.1/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/polyml-5.1/README	Wed Oct 24 21:12:44 2007 +0200
@@ -0,0 +1,18 @@
+
+This distribution of Poly/ML 5.1 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/* can be moved to the
+platform-specific target directory (e.g. polyml-5.1/x86-linux).
+
+	Makarius
+	24-Oct-2007
+
+$Id$