Admin/polyml/README
author blanchet
Tue Nov 07 15:16:41 2017 +0100 (20 months ago)
changeset 67021 41f1f8c4259b
parent 65805 d3c5898f1a5e
child 67099 3345d53e7c58
permissions -rw-r--r--
integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch)
wenzelm@38469
     1
Poly/ML for Isabelle
wenzelm@38469
     2
====================
wenzelm@27012
     3
wenzelm@65805
     4
This compilation of Poly/ML 5.7 (http://www.polyml.org) is based on the
wenzelm@65805
     5
source distribution from https://github.com/polyml/polyml/releases/tag/v5.7
wenzelm@57689
     6
wenzelm@65805
     7
The Isabelle repository provides the administrative tool "build_polyml",
wenzelm@65805
     8
which can be used in the polyml component directory as follows.
wenzelm@62281
     9
wenzelm@64544
    10
* Linux:
wenzelm@62281
    11
wenzelm@65805
    12
  $ isabelle build_polyml -m32 -s sha1 src --with-gmp
wenzelm@65805
    13
  $ isabelle build_polyml -m64 -s sha1 src --with-gmp
wenzelm@62281
    14
wenzelm@64544
    15
* Mac OS X:
wenzelm@41330
    16
wenzelm@65805
    17
  $ isabelle build_polyml -m32 -s sha1 src --without-gmp
wenzelm@65805
    18
  $ isabelle build_polyml -m64 -s sha1 src --without-gmp
wenzelm@41330
    19
wenzelm@64544
    20
* Windows (Cygwin shell)
wenzelm@64544
    21
wenzelm@65805
    22
  $ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src --with-gmp
wenzelm@65805
    23
  $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src --with-gmp
wenzelm@41331
    24
wenzelm@41331
    25
wenzelm@57689
    26
        Makarius
wenzelm@65805
    27
        12-May-2017