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.7 (http://www.polyml.org) is based on the |
4 This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the |
5 source distribution from https://github.com/polyml/polyml/releases/tag/v5.7 |
5 source distribution from https://github.com/polyml/polyml/releases/tag/v5.7.1 |
6 |
6 |
7 The Isabelle repository provides the administrative tool "build_polyml", |
7 The Isabelle repository provides the administrative tool "build_polyml", |
8 which can be used in the polyml component directory as follows. |
8 which can be used in the polyml component directory as follows. |
9 |
9 |
10 * Linux: |
10 * Linux: |
22 $ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src --with-gmp |
22 $ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src --with-gmp |
23 $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src --with-gmp |
23 $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src --with-gmp |
24 |
24 |
25 |
25 |
26 Makarius |
26 Makarius |
27 12-May-2017 |
27 27-Nov-2017 |