Admin/polyml-5.1/README
author wenzelm
Thu, 22 Nov 2007 14:51:34 +0100
changeset 25456 6f79698f294d
parent 25455 ab519be677ba
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25181
7c86f9ed8588 README for polyml-5.1 binary distribution;
wenzelm
parents:
diff changeset
     1
7c86f9ed8588 README for polyml-5.1 binary distribution;
wenzelm
parents:
diff changeset
     2
This distribution of Poly/ML 5.1 has been compiled from the original
25456
wenzelm
parents: 25455
diff changeset
     3
sources (available from http://sourceforge.net/projects/polyml/) as
wenzelm
parents: 25455
diff changeset
     4
follows:
25181
7c86f9ed8588 README for polyml-5.1 binary distribution;
wenzelm
parents:
diff changeset
     5
25455
ab519be677ba updated to official Poly/ML 5.1;
wenzelm
parents: 25439
diff changeset
     6
  tar xvzf polyml.5.1.tar.gz
ab519be677ba updated to official Poly/ML 5.1;
wenzelm
parents: 25439
diff changeset
     7
  cd polyml.5.1
25181
7c86f9ed8588 README for polyml-5.1 binary distribution;
wenzelm
parents:
diff changeset
     8
  ./configure --prefix=/tmp/polyml --without-x
7c86f9ed8588 README for polyml-5.1 binary distribution;
wenzelm
parents:
diff changeset
     9
  make
7c86f9ed8588 README for polyml-5.1 binary distribution;
wenzelm
parents:
diff changeset
    10
  make install
7c86f9ed8588 README for polyml-5.1 binary distribution;
wenzelm
parents:
diff changeset
    11
25431
wenzelm
parents: 25181
diff changeset
    12
Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
25455
ab519be677ba updated to official Poly/ML 5.1;
wenzelm
parents: 25439
diff changeset
    13
platform-specific target directory (e.g. polyml-5.1/x86-linux).  Note
ab519be677ba updated to official Poly/ML 5.1;
wenzelm
parents: 25439
diff changeset
    14
that the script Isabelle/lib/scripts/polyml-platform identifies your
ab519be677ba updated to official Poly/ML 5.1;
wenzelm
parents: 25439
diff changeset
    15
platform.
25439
wenzelm
parents: 25431
diff changeset
    16
25181
7c86f9ed8588 README for polyml-5.1 binary distribution;
wenzelm
parents:
diff changeset
    17
7c86f9ed8588 README for polyml-5.1 binary distribution;
wenzelm
parents:
diff changeset
    18
	Makarius
25455
ab519be677ba updated to official Poly/ML 5.1;
wenzelm
parents: 25439
diff changeset
    19
	22-Nov-2007
25181
7c86f9ed8588 README for polyml-5.1 binary distribution;
wenzelm
parents:
diff changeset
    20
7c86f9ed8588 README for polyml-5.1 binary distribution;
wenzelm
parents:
diff changeset
    21
$Id$