Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /config/trunk/install.sh
ViewVC logotype

Diff of /config/trunk/install.sh

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2721, Tue Jun 12 16:43:58 2007 UTC revision 3603, Fri May 13 19:35:56 2011 UTC
# Line 276  Line 276 
276          ALLOC=1M          ALLOC=1M
277          ;;          ;;
278      x86)      x86)
279          # The following is the _wrong_ value for many popular x86 chips          # The following is the _wrong_ value for some x86 chips
280          # (i.e., Celerons).  However, the optimal value for those is 32k,          # (i.e., Celerons).  We use 512k here and re-set it to the proper
         # and such a small value is not enough for the runtime system's boot  
         # code.  Therefore, we use 256k here and re-set it to the proper  
281          # value in .run-sml.          # value in .run-sml.
282          ALLOC=256k          ALLOC=512k
283          ;;          ;;
284      alpha32)      alpha32)
285          ALLOC=512k          ALLOC=512k
# Line 305  Line 303 
303  esac  esac
304    
305  #  #
306    # on 64-bit linux systems, we need to check to see if the 32-bit emulation
307    # support is installed
308    #
309    if [ x"$ARCH" = "xx86" -a x"$OPSYS" = "xlinux" ] ; then
310      case `uname -m` in
311        x86_64)
312          tmpFile=smlnj-test$$
313          echo "int main () { return 0; }" >> /tmp/$tmpFile.c
314          gcc -m32 -o /tmp/$tmpFile /tmp/$tmpFile.c 2> /dev/null 1>> /dev/null
315          if [ "$?" != "0" ] ; then
316            complain "$this: !!! SML/NJ requires support for 32-bit executables"
317          else
318            rm -f /tmp/$tmpFile /tmp/$tmpFile.c
319          fi
320        ;;
321        *) ;;
322      esac
323    fi
324    
325    #
326  # the name of the bin files directory  # the name of the bin files directory
327  #  #
328  BOOT_ARCHIVE=boot.$ARCH-unix  BOOT_ARCHIVE=boot.$ARCH-unix

Legend:
Removed from v.2721  
changed lines
  Added in v.3603

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0