Admin/polyml/README
author wenzelm
Thu Dec 14 11:24:26 2017 +0100 (20 months ago)
changeset 67198 694f29a5433b
parent 67099 3345d53e7c58
child 67583 c933a5d4e1ee
permissions -rw-r--r--
merged
wenzelm@38469
     1
Poly/ML for Isabelle
wenzelm@38469
     2
====================
wenzelm@27012
     3
wenzelm@67099
     4
This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the
wenzelm@67099
     5
source distribution from https://github.com/polyml/polyml/releases/tag/v5.7.1
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@67099
    27
        27-Nov-2017