equal
deleted
inserted
replaced
|
1 Poly/ML for Isabelle |
|
2 ==================== |
1 |
3 |
2 This distribution of Poly/ML 5.3 is based on the original |
4 This distribution of Poly/ML 5.4 has been compiled from the original |
3 polyml.5.3.tar.gz from http://www.polyml.org with some minimal changes: |
5 sources using the included build script. For example: |
4 |
6 |
5 diff polyml.5.3/libpolyml/processes.cpp-orig polyml.5.3/libpolyml/processes.cpp |
7 ./build polyml.5.4 x86-linux --with-gmp |
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 |
8 |
13 |
9 The resulting executables and shared libraries are moved to |
14 Then it is compiled as follows: |
10 x86-linux/. This directory layout accomodates the standard ML_HOME |
15 |
11 settings for Isabelle. |
16 cd polyml.5.3 |
|
17 ./configure --prefix="$HOME/tmp/polyml" |
|
18 make |
|
19 make install |
|
20 |
|
21 |
|
22 Now $HOME/tmp/polyml/bin/* and $HOME/tmp/polyml/lib/* are moved to the |
|
23 platform-specific target directory (e.g. polyml-5.3.0/x86-linux). |
|
24 |
12 |
25 |
13 |
26 Makarius |
14 Makarius |
27 26-May-2010 |
15 17-Aug-2010 |