Admin/polyml/README
author wenzelm
Tue Jun 03 16:45:59 2008 +0200 (2008-06-03)
changeset 27069 48baacc044b2
parent 27012 e6229d8d6aaa
child 28667 4adfdd666e7d
permissions -rw-r--r--
updated to official 5.2;
wenzelm@27012
     1
wenzelm@27012
     2
This distribution of Poly/ML 5.2 has been compiled from the original
wenzelm@27012
     3
sources as follows:
wenzelm@27012
     4
wenzelm@27069
     5
  tar xvzf polyml.5.2.tar.gz
wenzelm@27069
     6
  cd polyml.5.2
wenzelm@27069
     7
  chmod +x install-sh
wenzelm@27012
     8
  ./configure --prefix=/tmp/polyml --without-x
wenzelm@27012
     9
  make
wenzelm@27012
    10
  make install
wenzelm@27012
    11
wenzelm@27012
    12
Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
wenzelm@27069
    13
platform-specific target directory (e.g. polyml-5.2/x86-linux).  Note
wenzelm@27069
    14
that Isabelle/lib/scripts/polyml-platform identifies your platform.
wenzelm@27012
    15
wenzelm@27012
    16
wenzelm@27012
    17
	Makarius
wenzelm@27069
    18
	03-Jun-2008
wenzelm@27012
    19
wenzelm@27012
    20
$Id$