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/src/cm/bootstrap/btcompile.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/bootstrap/btcompile.sml

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

revision 352, Wed Jun 23 09:27:27 1999 UTC revision 353, Thu Jun 24 09:43:28 1999 UTC
# Line 40  Line 40 
40      (* ... and Parse *)      (* ... and Parse *)
41      structure Parse = ParseFn (structure Stabilize = Stabilize)      structure Parse = ParseFn (structure Stabilize = Stabilize)
42    
43      fun compile { binroot, pcmodespec, initgspec, maingspec } = let      fun compile { binroot, pcmodespec, initgspec, maingspec, stabilize } = let
44    
45          val keep_going = EnvConfig.getSet StdConfig.keep_going NONE          val keep_going = EnvConfig.getSet StdConfig.keep_going NONE
46    
47          val ctxt = AbsPath.cwdContext ()          val ctxt = AbsPath.cwdContext ()
48    
49          val pcmodespec = AbsPath.native { context = ctxt, spec = pcmodespec }          val pcmodespec = AbsPath.native { context = ctxt, spec = pcmodespec }
50          val binroot = AbsPath.native { context = ctxt, spec = binroot }          val binrootp = AbsPath.native { context = ctxt, spec = binroot }
51          val pidfile = AbsPath.joinDirFile { dir = binroot, file = "RTPID" }          val pidfile = AbsPath.joinDirFile { dir = binrootp, file = "RTPID" }
52          val listfile = AbsPath.joinDirFile { dir = binroot, file = "BINLIST" }          val listfile = AbsPath.joinDirFile { dir = binrootp, file = "BINLIST" }
53    
54          val pcmode = let          val pcmode = let
55              fun work s = let              fun work s = let
# Line 170  Line 170 
170                                               #2 (#sym pervasive),                                               #2 (#sym pervasive),
171                                               #2 (#stat core)]) }                                               #2 (#stat core)]) }
172                          { corenv = corenv }                          { corenv = corenv }
173                val stableflag = if stabilize then SOME true else NONE
174          in          in
175              case Parse.parse param NONE maingspec of              case Parse.parse param stableflag maingspec of
176                  NONE => false                  NONE => false
177                | SOME (g, gp) =>                | SOME (g, gp) =>
178                      if recomp gp g then let                      if recomp gp g then let

Legend:
Removed from v.352  
changed lines
  Added in v.353

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