Admin/polyml/README
changeset 41330 a4d9831c21d4
parent 38469 5c6c5d63f3c3
child 41331 8cdadd543fc8
equal deleted inserted replaced
41329:b6242168e7fa 41330:a4d9831c21d4
     1 Poly/ML for Isabelle
     1 Poly/ML for Isabelle
     2 ====================
     2 ====================
     3 
     3 
     4 This distribution of Poly/ML 5.4 has been compiled from the original
     4 This compilation is based on the official Poly/ML 5.4 sources from
     5 sources using the included build script.  For example:
     5 http://www.polyml.org with the following change in the SVN (which is
       
     6 also part of the fixes-5.4 source tree):
     6 
     7 
     7   ./build polyml.5.4 x86-linux --with-gmp
     8 ------------------------------------------------------------------------
       
     9 r1214 | dcjm | 2010-09-14 20:03:52 +0200 (Tue, 14 Sep 2010) | 1 line
     8 
    10 
     9 The resulting executables and shared libraries are moved to
    11 Fix to arbitrary precision emulation for X86.  A GC during emulating
    10 x86-linux/.  This directory layout accomodates the standard ML_HOME
    12 an operation could cause the stack to move resulting in the result of
    11 settings for Isabelle.
    13 the operation not being stored into the result register.
       
    14 ------------------------------------------------------------------------
       
    15 diff libpolyml/x86_dep.cpp libpolyml/x86_dep.cpp.orig
       
    16 1308,1311c1308
       
    17 <                     if (! inConsts) {
       
    18 <                         destReg = get_reg(taskData, rrr); // May have moved because of a GC.
       
    19 <                         *destReg = PolyWord::FromUnsigned(destReg->AsUnsigned()+1);
       
    20 <                     }
       
    21 ---
       
    22 >                     if (! inConsts) *destReg = PolyWord::FromUnsigned(destReg->AsUnsigned()+1);
       
    23 1344,1347c1341
       
    24 <                     if (! inConsts) {
       
    25 <                         destReg = get_reg(taskData, rrr); // May have moved because of a GC.
       
    26 <                         *destReg = PolyWord::FromUnsigned(destReg->AsUnsigned()-1);
       
    27 <                     }
       
    28 ---
       
    29 >                     if (! inConsts) *destReg = PolyWord::FromUnsigned(destReg->AsUnsigned()-1);
       
    30 
       
    31 ------------------------------------------------------------------------
       
    32 
       
    33 The included build script is used like this:
       
    34 
       
    35   ./build src x86-linux --with-gmp
       
    36   ./build src x86_64-linux --with-gmp
       
    37   ./build src x86-darwin --without-gmp
       
    38   ./build src x86_64-darwin --without-gmp
       
    39   ./build src x86-cygwin --with-gmp
       
    40 
       
    41 The multi-platform directory layout for executables and shared
       
    42 libraries accommodates the standard ML_HOME settings for Isabelle.
    12 
    43 
    13 
    44 
    14 	Makarius
    45 	Makarius
    15 	17-Aug-2010
    46 	20-Dec-2010