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