Admin/polyml/README
author wenzelm
Fri, 09 Feb 2018 16:27:52 +0100
changeset 67583 c933a5d4e1ee
parent 67099 3345d53e7c58
child 67589 085f5c2e11f7
permissions -rw-r--r--
support for libgmp for x86_64-darwin;
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
* Windows (Cygwin shell)
d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016);
wenzelm
parents: 62281
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 -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
    18
  $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src --with-gmp
41331
wenzelm
parents: 41330
diff changeset
    19
67583
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    20
* Mac OS X:
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    21
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    22
  $ isabelle build_polyml -m32 -s sha1 src --without-gmp
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    23
  $ isabelle build_polyml -m64 -s sha1 src --with-gmp
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    24
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    25
  The latter is based on libgmp for x86_64-darwin:
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    26
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    27
  curl https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz | xz -dc | tar xf -
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    28
  cd gmp-6.1.2
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    29
  ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)"
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    30
  make
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    31
  make check
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    32
  make install
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    33
41331
wenzelm
parents: 41330
diff changeset
    34
57689
e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes;
wenzelm
parents: 56958
diff changeset
    35
        Makarius
67583
c933a5d4e1ee support for libgmp for x86_64-darwin;
wenzelm
parents: 67099
diff changeset
    36
        09-Feb-2018