author | wenzelm |
Mon, 31 Aug 2015 22:28:23 +0200 | |
changeset 61071 | c6ac3c3fbb85 |
parent 60983 | ff4a67c65084 |
child 61740 | d7e0315fe423 |
permissions | -rw-r--r-- |
38469 | 1 |
Poly/ML for Isabelle |
2 |
==================== |
|
27012 | 3 |
|
60983
ff4a67c65084
updated to polyml-5.5.3-20150820, with native x86-windows support;
wenzelm
parents:
60188
diff
changeset
|
4 |
This is a preview of Poly/ML 5.5.3, based on |
61071 | 5 |
https://github.com/polyml/polyml/ |
57689
e189ba8a64b9
updated to polyml-5.5.2-1 which addresses two hard crashes;
wenzelm
parents:
56958
diff
changeset
|
6 |
|
41330 | 7 |
The included build script is used like this: |
8 |
||
9 |
./build src x86-linux --with-gmp |
|
10 |
./build src x86_64-linux --with-gmp |
|
11 |
./build src x86-darwin --without-gmp |
|
12 |
./build src x86_64-darwin --without-gmp |
|
60983
ff4a67c65084
updated to polyml-5.5.3-20150820, with native x86-windows support;
wenzelm
parents:
60188
diff
changeset
|
13 |
./build src x86-windows --with-gmp |
61071 | 14 |
./build src x86_64-windows --with-gmp |
41330 | 15 |
|
41331 | 16 |
Also note that the separate "sha1" library module is required for |
17 |
efficient digesting of strings according to SHA-1. |
|
18 |
||
19 |
||
57689
e189ba8a64b9
updated to polyml-5.5.2-1 which addresses two hard crashes;
wenzelm
parents:
56958
diff
changeset
|
20 |
Makarius |
61071 | 21 |
31-Aug-2015 |