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/system/fixpt
ViewVC logotype

Diff of /sml/trunk/system/fixpt

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

revision 643, Fri May 12 08:29:15 2000 UTC revision 645, Mon May 15 07:17:30 2000 UTC
# Line 30  Line 30 
30  BOOT=.boot.$ARCH-unix  BOOT=.boot.$ARCH-unix
31  ITER=3  ITER=3
32  BASE=sml  BASE=sml
33    REBUILD="-rebuild"
34    SETLIGHT=""
35    
36  #  #
37  # Function to do one round of compilation to get the initial set of binfiles.  # Function to do one round of compilation to get the initial set of binfiles.
# Line 38  Line 40 
40  initcompile() {  initcompile() {
41  $SML '$smlnj/cmb.cm' <<EOF  $SML '$smlnj/cmb.cm' <<EOF
42  local open OS.Process CMB in  local open OS.Process CMB in
43       $SETLIGHT
44     val _ = exit (if make' (SOME "$BASE") then success else failure) (* ' *)     val _ = exit (if make' (SOME "$BASE") then success else failure) (* ' *)
45  end  end
46  EOF  EOF
# Line 63  Line 66 
66          fi          fi
67          BASE=$1; shift          BASE=$1; shift
68          ;;          ;;
69        -light)
70            REBUILD="-lightrebuild"
71            SETLIGHT='val _ = #set (CMB.symval "LIGHT") (SOME 1);'
72            ;;
73      *)      *)
74          echo "$this: unknown argument \"$arg\""          echo "$this: unknown argument \"$arg\""
75          exit 2          exit 2
# Line 79  Line 86 
86          prevbase=$iterbase          prevbase=$iterbase
87          iter=`expr $iter + 1`          iter=`expr $iter + 1`
88          iterbase=$BASE$iter          iterbase=$BASE$iter
89          if ./makeml -boot $prevbase$BOOT -rebuild $iterbase ; then          if ./makeml -boot $prevbase$BOOT $REBUILD $iterbase ; then
90              if diff -r $prevbase$BIN $iterbase$BIN >/dev/null 2>&1 ; then              if diff -r $prevbase$BIN $iterbase$BIN >/dev/null 2>&1 ; then
91                  echo "$this: fixpoint reached in round $iter"                  echo "$this: fixpoint reached in round $iter"
92                  exit 0                  exit 0

Legend:
Removed from v.643  
changed lines
  Added in v.645

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