| author | wenzelm |
| Fri, 25 Jul 2014 21:29:12 +0200 | |
| changeset 59031 | e189ba8a64b9 |
| parent 58300 | b2c2f74d1c93 |
| permissions | -rw-r--r-- |
| wenzelm@38787 | 1 |
Poly/ML for Isabelle |
| wenzelm@38787 | 2 |
==================== |
| wenzelm@27012 | 3 |
|
| wenzelm@59031 | 4 |
This compilation of Poly/ML 5.5.2 is based on |
| wenzelm@59031 | 5 |
http://sourceforge.net/p/polyml/code/HEAD/tree/fixes-5.5.2 version |
| wenzelm@59031 | 6 |
1955. See also fixes-5.5.2.diff for the differences to the official |
| wenzelm@59031 | 7 |
source distribution polyml.5.5.2.tar.gz from |
| wenzelm@54823 | 8 |
http://sourceforge.net/projects/polyml/. |
| wenzelm@41579 | 9 |
|
| wenzelm@59031 | 10 |
|
| wenzelm@41578 | 11 |
The included build script is used like this: |
| wenzelm@41578 | 12 |
|
| wenzelm@41578 | 13 |
./build src x86-linux --with-gmp |
| wenzelm@41578 | 14 |
./build src x86_64-linux --with-gmp |
| wenzelm@41578 | 15 |
./build src x86-darwin --without-gmp |
| wenzelm@41578 | 16 |
./build src x86_64-darwin --without-gmp |
| wenzelm@41578 | 17 |
./build src x86-cygwin --with-gmp |
| wenzelm@41578 | 18 |
|
| wenzelm@41579 | 19 |
Also note that the separate "sha1" library module is required for |
| wenzelm@41579 | 20 |
efficient digesting of strings according to SHA-1. |
| wenzelm@41579 | 21 |
|
| wenzelm@41579 | 22 |
|
| wenzelm@59031 | 23 |
Makarius |
| wenzelm@59031 | 24 |
25-Jul-2014 |