Admin/polyml/README
changeset 61924 55b3d21ab5e5
parent 61795 16901b0392c6
child 62199 fc55a4e3f439
equal deleted inserted replaced
61923:a10cc7fb1841 61924:55b3d21ab5e5
     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 b97488071c19.
     5 https://github.com/polyml/polyml/ commit 74a14cce7b20.
     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-Nov-2015
    21         23-Dec-2015