Admin/polyml/README
author wenzelm
Thu Nov 26 15:28:42 2009 +0100 (2009-11-26)
changeset 33905 5760ba045bf0
parent 33540 84380e6c0b1a
child 37122 3ac12f743fe5
permissions -rw-r--r--
additional menu entries;
     1 
     2 This distribution of Poly/ML 5.3 has been compiled from the original
     3 sources as follows:
     4 
     5   tar xvzf polyml.5.3.tar.gz
     6   cd polyml.5.3
     7   ./configure --prefix="$HOME/tmp/polyml"
     8   make
     9   make install
    10 
    11 Now $HOME/tmp/polyml/bin/* and $HOME/tmp/polyml/lib/* are moved to the
    12 platform-specific target directory (e.g. polyml-5.3.0/x86-linux).
    13 Note that Isabelle/lib/scripts/polyml-platform identifies your
    14 platform.
    15 
    16 
    17 	Makarius
    18 	09-Nov-2009