updated to official Poly/ML 5.1;
authorwenzelm
Thu Nov 22 14:48:52 2007 +0100 (2007-11-22)
changeset 25455ab519be677ba
parent 25454 470a61a65712
child 25456 6f79698f294d
updated to official Poly/ML 5.1;
Admin/polyml-5.1/README
     1.1 --- a/Admin/polyml-5.1/README	Wed Nov 21 16:40:51 2007 +0100
     1.2 +++ b/Admin/polyml-5.1/README	Thu Nov 22 14:48:52 2007 +0100
     1.3 @@ -1,20 +1,20 @@
     1.4  
     1.5  This distribution of Poly/ML 5.1 has been compiled from the original
     1.6 -sources as follows:
     1.7 +sources (as available from http://sourceforge.net/projects/polyml/):
     1.8  
     1.9 -  cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
    1.10 -  cd polyml
    1.11 -  cvs up -dAP
    1.12 +  tar xvzf polyml.5.1.tar.gz
    1.13 +  cd polyml.5.1
    1.14    ./configure --prefix=/tmp/polyml --without-x
    1.15    make
    1.16    make install
    1.17  
    1.18  Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
    1.19 -platform-specific target directory (e.g. polyml-5.1/x86-linux).  Run
    1.20 -Isabelle/lib/scripts/polyml-platform to identify your platform.
    1.21 +platform-specific target directory (e.g. polyml-5.1/x86-linux).  Note
    1.22 +that the script Isabelle/lib/scripts/polyml-platform identifies your
    1.23 +platform.
    1.24  
    1.25  
    1.26  	Makarius
    1.27 -	15-Nov-2007
    1.28 +	22-Nov-2007
    1.29  
    1.30  $Id$