Admin/polyml/README
changeset 62199 fc55a4e3f439
parent 61924 55b3d21ab5e5
child 62252 6a87f7b15b69
equal deleted inserted replaced
62198:7217adc19be9 62199:fc55a4e3f439
     1 Poly/ML for Isabelle
     1 Poly/ML for Isabelle
     2 ====================
     2 ====================
     3 
     3 
     4 This is a preview of Poly/ML 5.6, based on
     4 This is a preview of Poly/ML 5.6, based on
     5 https://github.com/polyml/polyml/ commit 74a14cce7b20.
     5 https://github.com/polyml/polyml/ commit 72a1c60e3d00.
     6 
     6 
     7 The included build script is used like this:
     7 The included build script is used like this:
     8 
     8 
     9   ./build src x86-linux --with-gmp
     9   ./build src x86-linux --with-gmp
    10   ./build src x86_64-linux --with-gmp
    10   ./build src x86_64-linux --with-gmp
    16 Also note that the separate "sha1" library module is required for
    16 Also note that the separate "sha1" library module is required for
    17 efficient digesting of strings according to SHA-1.
    17 efficient digesting of strings according to SHA-1.
    18 
    18 
    19 
    19 
    20         Makarius
    20         Makarius
    21         23-Dec-2015
    21         18-Jan-2016