Admin/polyml/README
author wenzelm
Tue, 16 Jan 2018 09:58:17 +0100
changeset 67445 4311845b0412
parent 67099 3345d53e7c58
child 67583 c933a5d4e1ee
permissions -rw-r--r--
tuned document;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
38469
5c6c5d63f3c3 updated for prospective Poly/ML 5.4;
wenzelm
parents: 37122
diff changeset
     1
Poly/ML for Isabelle
5c6c5d63f3c3 updated for prospective Poly/ML 5.4;
wenzelm
parents: 37122
diff changeset
     2
====================
27012
e6229d8d6aaa moved README-polyml to polyml/README;
wenzelm
parents:
diff changeset
     3
67099
3345d53e7c58 updated to official release of polyml-5.7.1;
wenzelm
parents: 65805
diff changeset
     4
This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the
3345d53e7c58 updated to official release of polyml-5.7.1;
wenzelm
parents: 65805
diff changeset
     5
source distribution from https://github.com/polyml/polyml/releases/tag/v5.7.1
57689
e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes;
wenzelm
parents: 56958
diff changeset
     6
65805
d3c5898f1a5e updated to polyml-5.7 for testing (not yet ready for production use);
wenzelm
parents: 65032
diff changeset
     7
The Isabelle repository provides the administrative tool "build_polyml",
d3c5898f1a5e updated to polyml-5.7 for testing (not yet ready for production use);
wenzelm
parents: 65032
diff changeset
     8
which 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
65805
d3c5898f1a5e updated to polyml-5.7 for testing (not yet ready for production use);
wenzelm
parents: 65032
diff changeset
    12
  $ isabelle build_polyml -m32 -s sha1 src --with-gmp
d3c5898f1a5e updated to polyml-5.7 for testing (not yet ready for production use);
wenzelm
parents: 65032
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
a4d9831c21d4 updated for Poly/ML 5.4.0;
wenzelm
parents: 38469
diff changeset
    16
65805
d3c5898f1a5e updated to polyml-5.7 for testing (not yet ready for production use);
wenzelm
parents: 65032
diff changeset
    17
  $ isabelle build_polyml -m32 -s sha1 src --without-gmp
d3c5898f1a5e updated to polyml-5.7 for testing (not yet ready for production use);
wenzelm
parents: 65032
diff changeset
    18
  $ isabelle build_polyml -m64 -s sha1 src --without-gmp
41330
a4d9831c21d4 updated for Poly/ML 5.4.0;
wenzelm
parents: 38469
diff changeset
    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
65805
d3c5898f1a5e updated to polyml-5.7 for testing (not yet ready for production use);
wenzelm
parents: 65032
diff changeset
    22
  $ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src --with-gmp
d3c5898f1a5e updated to polyml-5.7 for testing (not yet ready for production use);
wenzelm
parents: 65032
diff changeset
    23
  $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src --with-gmp
41331
wenzelm
parents: 41330
diff changeset
    24
wenzelm
parents: 41330
diff changeset
    25
57689
e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes;
wenzelm
parents: 56958
diff changeset
    26
        Makarius
67099
3345d53e7c58 updated to official release of polyml-5.7.1;
wenzelm
parents: 65805
diff changeset
    27
        27-Nov-2017