|
27012
|
1 |
|
|
33540
|
2 |
This distribution of Poly/ML 5.3 has been compiled from the original
|
|
27012
|
3 |
sources as follows:
|
|
|
4 |
|
|
33540
|
5 |
tar xvzf polyml.5.3.tar.gz
|
|
|
6 |
cd polyml.5.3
|
|
|
7 |
./configure --prefix="$HOME/tmp/polyml"
|
|
27012
|
8 |
make
|
|
|
9 |
make install
|
|
|
10 |
|
|
33540
|
11 |
Now $HOME/tmp/polyml/bin/* and $HOME/tmp/polyml/lib/* are moved to the
|
|
|
12 |
platform-specific target directory (e.g. polyml-5.3.0/x86-linux).
|
|
|
13 |
Note that Isabelle/lib/scripts/polyml-platform identifies your
|
|
|
14 |
platform.
|
|
27012
|
15 |
|
|
|
16 |
|
|
|
17 |
Makarius
|
|
33540
|
18 |
09-Nov-2009
|