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