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