Admin/polyml/README
changeset 27012 e6229d8d6aaa
child 27069 48baacc044b2
equal deleted inserted replaced
27011:e6ba565eb436 27012:e6229d8d6aaa
       
     1 
       
     2 This distribution of Poly/ML 5.2 has been compiled from the original
       
     3 sources as follows:
       
     4 
       
     5   cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
       
     6   cd polyml
       
     7   cvs up -dAP
       
     8   ./configure --prefix=/tmp/polyml --without-x
       
     9   make
       
    10   make install
       
    11 
       
    12 Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
       
    13 platform-specific target directory (e.g. polyml-5.2/x86-linux).  Run
       
    14 Isabelle/lib/scripts/polyml-platform to identify your platform.
       
    15 
       
    16 
       
    17 	Makarius
       
    18 	28-May-2008
       
    19 
       
    20 $Id$