author | wenzelm |
Sat, 10 Dec 2016 15:45:16 +0100 | |
changeset 64544 | d23b7c9b9dd4 |
parent 62281 | 707f9b182f4f |
child 65032 | 42b92fa72a51 |
permissions | -rw-r--r-- |
38469 | 1 |
Poly/ML for Isabelle |
2 |
==================== |
|
27012 | 3 |
|
64544
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
4 |
This compilation of Poly/ML (http://www.polyml.org) is based on the repository |
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
5 |
version https://github.com/polyml/polyml/commit/8529546198aa |
57689
e189ba8a64b9
updated to polyml-5.5.2-1 which addresses two hard crashes;
wenzelm
parents:
56958
diff
changeset
|
6 |
|
64544
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
7 |
The Isabelle repository provides the administrative tool "build_polyml", which |
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
8 |
can be used in the polyml component directory as follows. |
62281
707f9b182f4f
evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;
wenzelm
parents:
62252
diff
changeset
|
9 |
|
64544
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
10 |
* Linux: |
62281
707f9b182f4f
evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;
wenzelm
parents:
62252
diff
changeset
|
11 |
|
64544
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
12 |
isabelle build_polyml -m32 -s sha1 src --with-gmp |
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
13 |
isabelle build_polyml -m64 -s sha1 src --with-gmp |
62281
707f9b182f4f
evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;
wenzelm
parents:
62252
diff
changeset
|
14 |
|
64544
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
15 |
* Mac OS X: |
41330 | 16 |
|
64544
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
17 |
isabelle build_polyml -m32 -s sha1 src --without-gmp |
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
18 |
isabelle build_polyml -m64 -s sha1 src --without-gmp |
41330 | 19 |
|
64544
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
20 |
* Windows (Cygwin shell) |
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
21 |
|
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
22 |
isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src --with-gmp |
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
23 |
isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src --with-gmp |
41331 | 24 |
|
25 |
||
57689
e189ba8a64b9
updated to polyml-5.5.2-1 which addresses two hard crashes;
wenzelm
parents:
56958
diff
changeset
|
26 |
Makarius |
64544
d23b7c9b9dd4
updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents:
62281
diff
changeset
|
27 |
10-Dec-2016 |