Admin/polyml/README
changeset 53686 432edb1a2469
parent 51066 7fc61bfb1c2d
child 56958 b2c2f74d1c93
equal deleted inserted replaced
53685:983711bc98e0 53686:432edb1a2469
     1 Poly/ML for Isabelle
     1 Poly/ML for Isabelle
     2 ====================
     2 ====================
     3 
     3 
     4 This compilation of Poly/ML 5.5.0 (http://www.polyml.org) is based on
     4 This compilation of Poly/ML 5.5.1 (http://www.polyml.org) is based on the
     5 svn://svn.code.sf.net/p/polyml/code/fixes-5.5 version 1658.
     5 official source distribution polyml.5.5.1.tar.gz from
       
     6 http://sourceforge.net/projects/polyml/.
     6 
     7 
     7 The included build script is used like this:
     8 The included build script is used like this:
     8 
     9 
     9   ./build src x86-linux --with-gmp
    10   ./build src x86-linux --with-gmp
    10   ./build src x86_64-linux --with-gmp
    11   ./build src x86_64-linux --with-gmp
    15 Also note that the separate "sha1" library module is required for
    16 Also note that the separate "sha1" library module is required for
    16 efficient digesting of strings according to SHA-1.
    17 efficient digesting of strings according to SHA-1.
    17 
    18 
    18 
    19 
    19 	Makarius
    20 	Makarius
    20 	28-Jan-2013
    21 	17-Sep-2013