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