27012
|
1 |
|
37122
|
2 |
This distribution of Poly/ML 5.3 is based on the original
|
|
3 |
polyml.5.3.tar.gz from http://www.polyml.org with some minimal changes:
|
27012
|
4 |
|
37122
|
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 |
|
33540
|
16 |
cd polyml.5.3
|
|
17 |
./configure --prefix="$HOME/tmp/polyml"
|
27012
|
18 |
make
|
|
19 |
make install
|
|
20 |
|
37122
|
21 |
|
33540
|
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).
|
27012
|
24 |
|
|
25 |
|
|
26 |
Makarius
|
37122
|
27 |
26-May-2010
|