Admin/polyml/README
author wenzelm
Tue Mar 12 15:34:33 2019 +0100 (2 months ago ago)
changeset 70084 63721ee8c86c
parent 70052 02e0458d342f
permissions -rw-r--r--
updated to polyml-5.8 (official release);
     1 Poly/ML for Isabelle
     2 ====================
     3 
     4 This compilation of Poly/ML 5.8 (https://www.polyml.org) is based on the
     5 source distribution from https://github.com/polyml/polyml/releases/tag/v5.8
     6 
     7 The Isabelle repository provides an administrative tool "isabelle
     8 build_polyml", which can be used in the polyml component directory as
     9 follows.
    10 
    11 * Linux:
    12 
    13   $ isabelle build_polyml -m32 -s sha1 src
    14   $ isabelle build_polyml -m64 -s sha1 src
    15 
    16 * Mac OS X:
    17 
    18   $ isabelle build_polyml -m32 -s sha1 src
    19   $ isabelle build_polyml -m64 -s sha1 src
    20 
    21 * Windows (Cygwin shell)
    22 
    23   $ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
    24   $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
    25 
    26 
    27 Building libgmp on Mac OS X
    28 ===========================
    29 
    30 The build_polyml invocations above implicitly use the GNU Multiple Precision
    31 Arithmetic Library (libgmp), but that is not available on Mac OS X by default.
    32 Appending "--without-gmp" to the command-line omits this library. Building
    33 libgmp properly from sources works as follows (library headers and binaries
    34 will be placed in /usr/local).
    35 
    36 * Download:
    37 
    38   $ curl https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz | xz -dc | tar xf -
    39   $ cd gmp-6.1.2
    40 
    41 * build:
    42 
    43   $ make distclean
    44   $ ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)"
    45   $ make && make check
    46   $ sudo make install
    47 
    48 
    49         Makarius
    50         12-Mar-2019