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 /sml/trunk/config/_run-sml
ViewVC logotype

Diff of /sml/trunk/config/_run-sml

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

revision 569, Tue Mar 7 04:01:07 2000 UTC revision 756, Thu Dec 14 16:01:33 2000 UTC
# Line 53  Line 53 
53  #############################################################################  #############################################################################
54    
55  # special shortcut for frequent use (and for Linux' binfmt)  # special shortcut for frequent use (and for Linux' binfmt)
56  case "$1" in /* | ./* | ../* ) HEAP="@SMLload=$1"; shift ;; esac  case "$1" in
57        /* | ./* | ../* )
58            case "$1" in
59                *.cm | *.sml | *.sig | *.fun )
60                    ;;
61                * )
62                    HEAP="@SMLload=$1"
63                    shift
64                    ;;
65            esac
66            ;;
67    esac
68    
69  ALLOC=""  ALLOC=""
70    
# Line 100  Line 111 
111          # "head" is called to make sure we consider only one matching line.          # "head" is called to make sure we consider only one matching line.
112          # (On linux SMP systems there is more than one such line.)          # (On linux SMP systems there is more than one such line.)
113          cache=`fgrep 'cache size' </proc/cpuinfo | head -1`          cache=`fgrep 'cache size' </proc/cpuinfo | head -1`
114          if [ $? = 0 ] ; then          if [ "x$cache" = "x" ] ; then
115                # No cache info in /proc/cputype.  No we are checking the CPU
116                # type....
117                cpu=`fgrep 'cpu     ' </proc/cpuinfo | head -1`
118                cputype=`echo $cpu | sed -e 's/^.*:[ \t]*\(.*\)$/\1/'`
119                case $cputype in
120                    586)
121                        # An old Pentium.  Seems to work best with 64k.
122                        # Some extreme cases run best with even less
123                        #  (32k, 16k, or even just 8k).
124                        ALLOC="@SMLalloc=64k"
125                        ;;
126                    *)
127                        ;;
128                esac
129            else
130              kb=`echo $cache | sed -e 's/^[^0-9]*\([0-9]*\).*$/\1/'`              kb=`echo $cache | sed -e 's/^[^0-9]*\([0-9]*\).*$/\1/'`
131              case $kb in              case $kb in
132                  128)                  128)
# Line 113  Line 139 
139                      ;;                      ;;
140                  512)                  512)
141                      # The Pentium II case...                      # The Pentium II case...
142                      ALLOC="@SMLalloc=512k"                      ALLOC="@SMLalloc=256k"
143                      ;;                      ;;
144                  *)                  *)
145                      ;;                      ;;

Legend:
Removed from v.569  
changed lines
  Added in v.756

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