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

Diff of /sml/trunk/src/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 801, Mon Mar 19 22:53:00 2001 UTC
# Line 10  Line 10 
10  Library  Library
11          (* bootstrap stuff *)          (* bootstrap stuff *)
12          structure InteractiveSystem          structure InteractiveSystem
13    
14            (* export representatives for pro-forma libraries... *)
15            structure Compiler
16            structure CM
17            structure CMB
18            structure Tools
19            structure YaccTool
20            structure LexTool
21            structure BurgTool
22            structure NowebTool
23            structure MakeTool
24            structure ShellTool
25            structure DirTool
26    
27    # if not defined(LIGHT)
28            (* export one representative from $smlnj/compiler/all.cm *)
29            structure Alpha32UnixCMB
30    # endif
31  is  is
32          smlnj/init/init.cmi : cm          $smlnj/init/init.cmi : cm
33    
34          basis.cm          $/basis.cm
35          smlnj/viscomp/core.cm          $smlnj/viscomp/core.cm
36    
37          (* need access to CM's "init" function *)          (* need access to CM's "init" function *)
38          smlnj/internal/host-compiler-0.cm          $smlnj/internal/host-compiler-0.cm
39    
40          (* these are just here so they get made... *)          (* these are just here so they get made... *)
41          smlnj/compiler.cm          $smlnj/compiler.cm
42          (* We don't mention minimal-cm.cm here because it would conflict          $smlnj/cm.cm
43           * with full-cm.cm.  Instead, the reference to minimal-cm.cm is          $smlnj/cmb.cm
          * now within full-cm.cm. (See there.) *)  
         smlnj/cm.cm  
         smlnj/cmb.cm  
44    
45          smlnj/cm/tools.cm          $smlnj/cm/tools.cm
46          (* 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
47           * always be "plugged in" because they are needed for -rebuild. *)           * always be "plugged in" because they are needed for -rebuild,
48          mlyacc-tool.cm           * i.e., at a time when on-demand loading does not work yet. *)
49          mllex-tool.cm          $/grm-ext.cm            (* implies $/mlyacc-tool.cm *)
50          grm-ext.cm          $/lex-ext.cm            (* implies $/mllex-tool.cm *)
         lex-ext.cm  
51          (* Technically, the ml-burg tool is not needed here.  It should          (* Technically, the ml-burg tool is not needed here.  It should
52           * eventually be moved into the ML-Burg source tree and installed           * eventually be moved into the ML-Burg source tree and installed
53           * from there. *)           * from there. *)
54          mlburg-tool.cm          $/burg-ext.cm           (* implies $/mlburg-tool.cm *)
         burg-ext.cm  
55          (* Technically, the noweb tool is not needed here.  It should          (* Technically, the noweb tool is not needed here.  It should
56           * eventually be moved into the noweb source tree and installed           * eventually be moved into the noweb source tree and installed
57           * from there. *)           * from there. *)
58          noweb-tool.cm          $/nw-ext.cm             (* implies $/noweb-tool.cm *)
         nw-ext.cm  
59          (* Register the make tool here. (Kinda unrealistic to hope that          (* Register the make tool here. (Kinda unrealistic to hope that
60           * Unix' make suddenly comes with a CM plugin... *)           * Unix' make suddenly comes with a CM plugin... *)
61          make-tool.cm          $/make-tool.cm
62          (* Same for shell tool... *)          (* Same for shell tool... *)
63          shell-tool.cm          $/shell-tool.cm
64    
65            (* Register the "dir" tool.  Its classifier (but not the tool
66             * itself) is always "plugged-in". *)
67            $/dir-tool.cm
68    
69  # if not defined(LIGHT)  # if not defined(LIGHT)
70          smlnj/compiler/all.cm          $smlnj/compiler/all.cm
71  # endif  # endif
72    
73          (* build boot environments *)          (* build boot environments *)

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

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