Admin/polyml/README
changeset 64544 d23b7c9b9dd4
parent 62281 707f9b182f4f
child 65032 42b92fa72a51
     1.1 --- a/Admin/polyml/README	Thu Feb 11 16:29:38 2016 +0100
     1.2 +++ b/Admin/polyml/README	Sat Dec 10 15:45:16 2016 +0100
     1.3 @@ -1,32 +1,27 @@
     1.4  Poly/ML for Isabelle
     1.5  ====================
     1.6  
     1.7 -This compilation of Poly/ML 5.6 (http://www.polyml.org) is based on the source
     1.8 -distribution from https://github.com/polyml/polyml/releases/tag/v5.6/.
     1.9 +This compilation of Poly/ML (http://www.polyml.org) is based on the repository
    1.10 +version https://github.com/polyml/polyml/commit/8529546198aa
    1.11  
    1.12 -On Linux the sources have changed as follows, in order to evade a
    1.13 -potential conflict of /bin/bash versus /bin/sh -> dash (notably on
    1.14 -Ubuntu and Debian):
    1.15 +The Isabelle repository provides the administrative tool "build_polyml", which
    1.16 +can be used in the polyml component directory as follows.
    1.17  
    1.18 -diff -r src-orig/libpolyml/process_env.cpp src/libpolyml/process_env.cpp
    1.19 -228c228
    1.20 -<                 execve("/bin/sh", argv, environ);
    1.21 ----
    1.22 ->                 execvp("bash", argv);
    1.23 +* Linux:
    1.24  
    1.25 +  isabelle build_polyml -m32 -s sha1 src --with-gmp
    1.26 +  isabelle build_polyml -m64 -s sha1 src --with-gmp
    1.27  
    1.28 -The included build script is used like this:
    1.29 +* Mac OS X:
    1.30  
    1.31 -  ./build src x86-linux --with-gmp
    1.32 -  ./build src x86_64-linux --with-gmp
    1.33 -  ./build src x86-darwin --without-gmp
    1.34 -  ./build src x86_64-darwin --without-gmp
    1.35 -  ./build src x86-windows --with-gmp
    1.36 -  ./build src x86_64-windows --with-gmp
    1.37 +  isabelle build_polyml -m32 -s sha1 src --without-gmp
    1.38 +  isabelle build_polyml -m64 -s sha1 src --without-gmp
    1.39  
    1.40 -Also note that the separate "sha1" library module is required for
    1.41 -efficient digestion of strings according to SHA-1.
    1.42 +* Windows (Cygwin shell)
    1.43 +
    1.44 +  isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src --with-gmp
    1.45 +  isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src --with-gmp
    1.46  
    1.47  
    1.48          Makarius
    1.49 -        11-Feb-2016
    1.50 +        10-Dec-2016