author | wenzelm |
Tue, 03 Jun 2008 16:45:59 +0200 | |
changeset 27069 | 48baacc044b2 |
parent 27012 | e6229d8d6aaa |
child 28667 | 4adfdd666e7d |
permissions | -rw-r--r-- |
This distribution of Poly/ML 5.2 has been compiled from the original sources as follows: tar xvzf polyml.5.2.tar.gz cd polyml.5.2 chmod +x install-sh ./configure --prefix=/tmp/polyml --without-x make make install Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the platform-specific target directory (e.g. polyml-5.2/x86-linux). Note that Isabelle/lib/scripts/polyml-platform identifies your platform. Makarius 03-Jun-2008 $Id$