|
25181
|
1 |
|
|
|
2 |
This distribution of Poly/ML 5.1 has been compiled from the original
|
|
25456
|
3 |
sources (available from http://sourceforge.net/projects/polyml/) as
|
|
|
4 |
follows:
|
|
25181
|
5 |
|
|
25455
|
6 |
tar xvzf polyml.5.1.tar.gz
|
|
|
7 |
cd polyml.5.1
|
|
25181
|
8 |
./configure --prefix=/tmp/polyml --without-x
|
|
|
9 |
make
|
|
|
10 |
make install
|
|
|
11 |
|
|
25431
|
12 |
Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
|
|
25455
|
13 |
platform-specific target directory (e.g. polyml-5.1/x86-linux). Note
|
|
|
14 |
that the script Isabelle/lib/scripts/polyml-platform identifies your
|
|
|
15 |
platform.
|
|
25439
|
16 |
|
|
25181
|
17 |
|
|
|
18 |
Makarius
|
|
25455
|
19 |
22-Nov-2007
|
|
25181
|
20 |
|
|
|
21 |
$Id$
|