Admin/polyml/README
changeset 51066 7fc61bfb1c2d
parent 51043 bf5f6affa87d
child 53686 432edb1a2469
equal deleted inserted replaced
51065:773440f680f9 51066:7fc61bfb1c2d
     1 Poly/ML for Isabelle
     1 Poly/ML for Isabelle
     2 ====================
     2 ====================
     3 
     3 
     4 This compilation of Poly/ML 5.5.0 is based on the official sources
     4 This compilation of Poly/ML 5.5.0 (http://www.polyml.org) is based on
     5 from http://www.polyml.org
     5 svn://svn.code.sf.net/p/polyml/code/fixes-5.5 version 1658.
     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
    15 Also note that the separate "sha1" library module is required for
    15 Also note that the separate "sha1" library module is required for
    16 efficient digesting of strings according to SHA-1.
    16 efficient digesting of strings according to SHA-1.
    17 
    17 
    18 
    18 
    19 	Makarius
    19 	Makarius
    20 	21-Jan-2013
    20 	28-Jan-2013