Admin/polyml/README
changeset 60983 ff4a67c65084
parent 60188 b8b7006a64ef
child 61071 c6ac3c3fbb85
equal deleted inserted replaced
60982:67e389f67073 60983:ff4a67c65084
     1 Poly/ML for Isabelle
     1 Poly/ML for Isabelle
     2 ====================
     2 ====================
     3 
     3 
     4 This compilation of Poly/ML 5.5.2 is based on
     4 This is a preview of Poly/ML 5.5.3, based on
     5 http://sourceforge.net/p/polyml/code/HEAD/tree/fixes-5.5.2 version
     5 https://github.com/polyml/polyml/commit/3fbfb80c471f
     6 2009.  See also fixes-5.5.2.diff for the differences to the official
       
     7 source distribution polyml.5.5.2.tar.gz from
       
     8 http://sourceforge.net/projects/polyml/.
       
     9 
       
    10 
     6 
    11 The included build script is used like this:
     7 The included build script is used like this:
    12 
     8 
    13   ./build src x86-linux --with-gmp
     9   ./build src x86-linux --with-gmp
    14   ./build src x86_64-linux --with-gmp
    10   ./build src x86_64-linux --with-gmp
    15   ./build src x86-darwin --without-gmp
    11   ./build src x86-darwin --without-gmp
    16   ./build src x86_64-darwin --without-gmp
    12   ./build src x86_64-darwin --without-gmp
    17   ./build src x86-cygwin --with-gmp
    13   ./build src x86-windows --with-gmp
    18 
    14 
    19 Also note that the separate "sha1" library module is required for
    15 Also note that the separate "sha1" library module is required for
    20 efficient digesting of strings according to SHA-1.
    16 efficient digesting of strings according to SHA-1.
    21 
    17 
    22 
    18 
    23         Makarius
    19         Makarius
    24         22-Apr-2015
    20         20-Aug-2015