equal
deleted
inserted
replaced
1 Poly/ML for Isabelle |
1 Poly/ML for Isabelle |
2 ==================== |
2 ==================== |
3 |
3 |
4 This compilation of Poly/ML 5.4.1 is based on the official sources |
4 This compilation of Poly/ML 5.5.0 is based on the official sources |
5 from http://www.polyml.org |
5 from http://www.polyml.org |
6 |
6 |
7 The included build script is used like this: |
7 The included build script is used like this: |
8 |
8 |
9 ./build src x86-linux --with-gmp |
9 ./build src x86-linux --with-gmp |
10 ./build src x86_64-linux --with-gmp |
10 ./build src x86_64-linux --with-gmp |
11 ./build src x86-darwin --without-gmp |
11 ./build src x86-darwin --without-gmp |
12 ./build src x86_64-darwin --without-gmp |
12 ./build src x86_64-darwin --without-gmp |
13 ./build src x86-cygwin --with-gmp |
13 ./build src x86-cygwin --with-gmp |
14 |
14 |
15 The multi-platform directory layout for executables and shared |
|
16 libraries accommodates the standard ML_HOME settings for Isabelle. |
|
17 |
|
18 Also note that the separate "sha1" library module is required for |
15 Also note that the separate "sha1" library module is required for |
19 efficient digesting of strings according to SHA-1. |
16 efficient digesting of strings according to SHA-1. |
20 |
17 |
21 |
18 |
22 Makarius |
19 Makarius |
23 15-Oct-2011 |
20 17-Sep-2012 |