equal
deleted
inserted
replaced
1 |
1 |
2 This distribution of Poly/ML 5.3 has been compiled from the original |
2 This distribution of Poly/ML 5.3 is based on the original |
3 sources as follows: |
3 polyml.5.3.tar.gz from http://www.polyml.org with some minimal changes: |
4 |
4 |
5 tar xvzf polyml.5.3.tar.gz |
5 diff polyml.5.3/libpolyml/processes.cpp-orig polyml.5.3/libpolyml/processes.cpp |
|
6 995,996c995,996 |
|
7 < // we set this to 100ms so that we're not waiting too long. |
|
8 < if (maxMillisecs > 100) maxMillisecs = 100; |
|
9 --- |
|
10 > // we set this to 10ms so that we're not waiting too long. |
|
11 > if (maxMillisecs > 10) maxMillisecs = 10; |
|
12 |
|
13 |
|
14 Then it is compiled as follows: |
|
15 |
6 cd polyml.5.3 |
16 cd polyml.5.3 |
7 ./configure --prefix="$HOME/tmp/polyml" |
17 ./configure --prefix="$HOME/tmp/polyml" |
8 make |
18 make |
9 make install |
19 make install |
10 |
20 |
|
21 |
11 Now $HOME/tmp/polyml/bin/* and $HOME/tmp/polyml/lib/* are moved to the |
22 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). |
23 platform-specific target directory (e.g. polyml-5.3.0/x86-linux). |
13 Note that Isabelle/lib/scripts/polyml-platform identifies your |
|
14 platform. |
|
15 |
24 |
16 |
25 |
17 Makarius |
26 Makarius |
18 09-Nov-2009 |
27 26-May-2010 |