Admin/polyml-5.1/README
author haftmann
Wed Jan 30 10:57:47 2008 +0100 (2008-01-30)
changeset 26015 ad2756de580e
parent 25456 6f79698f294d
permissions -rw-r--r--
idempotent semigroups
wenzelm@25181
     1
wenzelm@25181
     2
This distribution of Poly/ML 5.1 has been compiled from the original
wenzelm@25456
     3
sources (available from http://sourceforge.net/projects/polyml/) as
wenzelm@25456
     4
follows:
wenzelm@25181
     5
wenzelm@25455
     6
  tar xvzf polyml.5.1.tar.gz
wenzelm@25455
     7
  cd polyml.5.1
wenzelm@25181
     8
  ./configure --prefix=/tmp/polyml --without-x
wenzelm@25181
     9
  make
wenzelm@25181
    10
  make install
wenzelm@25181
    11
wenzelm@25431
    12
Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
wenzelm@25455
    13
platform-specific target directory (e.g. polyml-5.1/x86-linux).  Note
wenzelm@25455
    14
that the script Isabelle/lib/scripts/polyml-platform identifies your
wenzelm@25455
    15
platform.
wenzelm@25439
    16
wenzelm@25181
    17
wenzelm@25181
    18
	Makarius
wenzelm@25455
    19
	22-Nov-2007
wenzelm@25181
    20
wenzelm@25181
    21
$Id$