equal
deleted
inserted
replaced
1 Poly/ML for Isabelle |
1 Poly/ML for Isabelle |
2 ==================== |
2 ==================== |
3 |
3 |
4 This compilation is based on the official Poly/ML 5.4 sources from |
4 This compilation of Poly/ML 5.4 is based on the official sources from |
5 http://www.polyml.org with the following change in the SVN (which is |
5 http://www.polyml.org with the following patch from the SVN (which is |
6 also part of the fixes-5.4 source tree): |
6 also part of the fixes-5.4 source tree): |
7 |
7 |
8 ------------------------------------------------------------------------ |
8 ------------------------------------------------------------------------ |
9 r1214 | dcjm | 2010-09-14 20:03:52 +0200 (Tue, 14 Sep 2010) | 1 line |
9 r1214 | dcjm | 2010-09-14 20:03:52 +0200 (Tue, 14 Sep 2010) | 1 line |
10 |
10 |
28 --- |
28 --- |
29 > if (! inConsts) *destReg = PolyWord::FromUnsigned(destReg->AsUnsigned()-1); |
29 > if (! inConsts) *destReg = PolyWord::FromUnsigned(destReg->AsUnsigned()-1); |
30 |
30 |
31 ------------------------------------------------------------------------ |
31 ------------------------------------------------------------------------ |
32 |
32 |
|
33 |
33 The included build script is used like this: |
34 The included build script is used like this: |
34 |
35 |
35 ./build src x86-linux --with-gmp |
36 ./build src x86-linux --with-gmp |
36 ./build src x86_64-linux --with-gmp |
37 ./build src x86_64-linux --with-gmp |
37 ./build src x86-darwin --without-gmp |
38 ./build src x86-darwin --without-gmp |
40 |
41 |
41 The multi-platform directory layout for executables and shared |
42 The multi-platform directory layout for executables and shared |
42 libraries accommodates the standard ML_HOME settings for Isabelle. |
43 libraries accommodates the standard ML_HOME settings for Isabelle. |
43 |
44 |
44 |
45 |
|
46 Also note that the separate "sha1" library module is required for |
|
47 efficient digesting of strings according to SHA-1. |
|
48 |
|
49 |
45 Makarius |
50 Makarius |
46 20-Dec-2010 |
51 20-Dec-2010 |