10 * Linux: |
10 * Linux: |
11 |
11 |
12 $ isabelle build_polyml -m32 -s sha1 src |
12 $ isabelle build_polyml -m32 -s sha1 src |
13 $ isabelle build_polyml -m64 -s sha1 src |
13 $ isabelle build_polyml -m64 -s sha1 src |
14 |
14 |
|
15 * Mac OS X: |
|
16 |
|
17 $ isabelle build_polyml -m32 -s sha1 src |
|
18 $ isabelle build_polyml -m64 -s sha1 src |
|
19 |
15 * Windows (Cygwin shell) |
20 * Windows (Cygwin shell) |
16 |
21 |
17 $ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src |
22 $ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src |
18 $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src |
23 $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src |
19 |
|
20 * Mac OS X: |
|
21 |
|
22 $ isabelle build_polyml -m32 -s sha1 src |
|
23 $ isabelle build_polyml -m64 -s sha1 src |
|
24 |
24 |
25 |
25 |
26 Building libgmp on Mac OS X |
26 Building libgmp on Mac OS X |
27 =========================== |
27 =========================== |
28 |
28 |
29 The build_polyml invocations above implicitly use the GNU Multiple Precision |
29 The build_polyml invocations above implicitly use the GNU Multiple Precision |
30 Arithmetic Library (libgmp), but that is not available on Mac OS X by default. |
30 Arithmetic Library (libgmp), but that is not available on Mac OS X by default. |
31 Appending "--without-gmp" to the command-line omits this library. Building |
31 Appending "--without-gmp" to the command-line omits this library. Building |
32 libgmp properly works as follows (library headers and binaries will be placed |
32 libgmp properly from sources works as follows (library headers and binaries |
33 in /usr/local). |
33 will be placed in /usr/local). |
34 |
34 |
35 * Download: |
35 * Download: |
36 |
36 |
37 $ curl https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz | xz -dc | tar xf - |
37 $ curl https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz | xz -dc | tar xf - |
38 $ cd gmp-6.1.2 |
38 $ cd gmp-6.1.2 |