Admin/polyml/README
changeset 28667 4adfdd666e7d
parent 27069 48baacc044b2
child 33540 84380e6c0b1a
equal deleted inserted replaced
28666:d2dbfe3a0284 28667:4adfdd666e7d
     1 
     1 
     2 This distribution of Poly/ML 5.2 has been compiled from the original
     2 This distribution of Poly/ML 5.2.1 has been compiled from the original
     3 sources as follows:
     3 sources as follows:
     4 
     4 
     5   tar xvzf polyml.5.2.tar.gz
     5   tar xvzf polyml.5.2.1.tar.gz
     6   cd polyml.5.2
     6   cd polyml.5.2.1
     7   chmod +x install-sh
     7   ./configure --prefix=/tmp/polyml
     8   ./configure --prefix=/tmp/polyml --without-x
       
     9   make
     8   make
    10   make install
     9   make install
    11 
    10 
    12 Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
    11 Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
    13 platform-specific target directory (e.g. polyml-5.2/x86-linux).  Note
    12 platform-specific target directory (e.g. polyml-5.2.1/x86-linux).  Note
    14 that Isabelle/lib/scripts/polyml-platform identifies your platform.
    13 that Isabelle/lib/scripts/polyml-platform identifies your platform.
    15 
    14 
    16 
    15 
    17 	Makarius
    16 	Makarius
    18 	03-Jun-2008
    17 	22-Oct-2008
    19 
    18 
    20 $Id$
    19 $Id$