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/smlnj/internal/intsys.cm
ViewVC logotype

Diff of /sml/trunk/system/smlnj/internal/intsys.cm

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

revision 634, Mon May 1 10:03:50 2000 UTC revision 643, Fri May 12 08:29:15 2000 UTC
# Line 11  Line 11 
11          (* bootstrap stuff *)          (* bootstrap stuff *)
12          structure InteractiveSystem          structure InteractiveSystem
13  is  is
14          smlnj/init/init.cmi : cm          $smlnj/init/init.cmi : cm
15    
16          basis.cm          $basis.cm
17          smlnj/viscomp/core.cm          $smlnj/viscomp/core.cm
18    
19          (* need access to CM's "init" function *)          (* need access to CM's "init" function *)
20          smlnj/internal/host-compiler-0.cm          $smlnj/internal/host-compiler-0.cm
21    
22          (* these are just here so they get made... *)          (* these are just here so they get made... *)
23          smlnj/compiler.cm          $smlnj/compiler.cm
24          (* We don't mention minimal-cm.cm here because it would conflict          (* We don't mention minimal-cm.cm here because it would conflict
25           * with full-cm.cm.  Instead, the reference to minimal-cm.cm is           * with full-cm.cm.  Instead, the reference to minimal-cm.cm is
26           * now within full-cm.cm. (See there.) *)           * now within full-cm.cm. (See there.) *)
27          smlnj/cm.cm          $smlnj/cm.cm
28          smlnj/cmb.cm          $smlnj/cmb.cm
29    
30          smlnj/cm/tools.cm          $smlnj/cm/tools.cm
31          (* We need the ml-yacc and ml-lex tool plugins here. They must          (* We need the ml-yacc and ml-lex tool plugins here. They must
32           * always be "plugged in" because they are needed for -rebuild. *)           * always be "plugged in" because they are needed for -rebuild. *)
33          mlyacc-tool.cm          $mlyacc-tool.cm
34          mllex-tool.cm          $mllex-tool.cm
35          grm-ext.cm          $grm-ext.cm
36          lex-ext.cm          $lex-ext.cm
37          (* Technically, the ml-burg tool is not needed here.  It should          (* Technically, the ml-burg tool is not needed here.  It should
38           * eventually be moved into the ML-Burg source tree and installed           * eventually be moved into the ML-Burg source tree and installed
39           * from there. *)           * from there. *)
40          mlburg-tool.cm          $mlburg-tool.cm
41          burg-ext.cm          $burg-ext.cm
42          (* Technically, the noweb tool is not needed here.  It should          (* Technically, the noweb tool is not needed here.  It should
43           * eventually be moved into the noweb source tree and installed           * eventually be moved into the noweb source tree and installed
44           * from there. *)           * from there. *)
45          noweb-tool.cm          $noweb-tool.cm
46          nw-ext.cm          $nw-ext.cm
47          (* Register the make tool here. (Kinda unrealistic to hope that          (* Register the make tool here. (Kinda unrealistic to hope that
48           * Unix' make suddenly comes with a CM plugin... *)           * Unix' make suddenly comes with a CM plugin... *)
49          make-tool.cm          $make-tool.cm
50          (* Same for shell tool... *)          (* Same for shell tool... *)
51          shell-tool.cm          $shell-tool.cm
52    
53  # if not defined(LIGHT)  # if not defined(LIGHT)
54          smlnj/compiler/all.cm          $smlnj/compiler/all.cm
55  # endif  # endif
56    
57          (* build boot environments *)          (* build boot environments *)

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

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