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.1 (http://www.polyml.org) is based on the |
4 This compilation of Poly/ML (https://www.polyml.org) is based on the |
5 source distribution from https://github.com/polyml/polyml/commits/fixes-5.7.1 |
5 repository version |
6 up to commit b3d1ff33a4b4. |
6 https://github.com/polyml/polyml/commit/0a6ebca445fc (master). |
7 |
7 |
8 The Isabelle repository provides the administrative tool "build_polyml", |
8 The Isabelle repository provides the administrative tool |
9 which can be used in the polyml component directory as follows. |
9 "build_polyml", which can be used in the polyml component directory as |
|
10 follows. |
10 |
11 |
11 * Linux: |
12 * Linux: |
12 |
13 |
13 $ isabelle build_polyml -m32 -s sha1 src |
14 $ isabelle build_polyml -m32 -s sha1 src |
14 $ isabelle build_polyml -m64 -s sha1 src |
15 $ isabelle build_polyml -m64 -s sha1 src |
36 * Download: |
37 * Download: |
37 |
38 |
38 $ curl https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz | xz -dc | tar xf - |
39 $ curl https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz | xz -dc | tar xf - |
39 $ cd gmp-6.1.2 |
40 $ cd gmp-6.1.2 |
40 |
41 |
41 * build x86-darwin: |
42 * build: |
42 |
|
43 $ make distclean |
|
44 $ env ABI=32 ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)" --libdir=/usr/local/lib32 |
|
45 $ make && make check |
|
46 $ sudo make install |
|
47 |
|
48 * build x86_64-darwin: |
|
49 |
43 |
50 $ make distclean |
44 $ make distclean |
51 $ ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)" |
45 $ ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)" |
52 $ make && make check |
46 $ make && make check |
53 $ sudo make install |
47 $ sudo make install |
54 |
48 |
55 |
49 |
56 Makarius |
50 Makarius |
57 28-Jul-2018 |
51 21-Jan-2019 |