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