1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/README-polyml	Wed May 28 23:42:36 2008 +0200
     1.3 @@ -0,0 +1,20 @@
     1.4 +
     1.5 +This distribution of Poly/ML 5.2 has been compiled from the original
     1.6 +sources as follows:
     1.7 +
     1.8 +  cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
     1.9 +  cd polyml
    1.10 +  cvs up -dAP
    1.11 +  ./configure --prefix=/tmp/polyml --without-x
    1.12 +  make
    1.13 +  make install
    1.14 +
    1.15 +Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
    1.16 +platform-specific target directory (e.g. polyml-5.2/x86-linux).  Run
    1.17 +Isabelle/lib/scripts/polyml-platform to identify your platform.
    1.18 +
    1.19 +
    1.20 +	Makarius
    1.21 +	28-May-2008
    1.22 +
    1.23 +$Id$