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 732, Mon Nov 13 21:59:12 2000 UTC revision 733, Fri Nov 17 05:13:45 2000 UTC
# Line 26  Line 26 
26    
27          $smlnj/cm/tools.cm          $smlnj/cm/tools.cm
28          (* 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
29           * always be "plugged in" because they are needed for -rebuild. *)           * always be "plugged in" because they are needed for -rebuild,
30          $/mlyacc-tool.cm           * i.e., at a time when on-demand loading does not work yet. *)
31          $/mllex-tool.cm          $/grm-ext.cm            (* implies $/mlyacc-tool.cm *)
32          $/grm-ext.cm          $/lex-ext.cm            (* implies $/mllex-tool.cm *)
         $/lex-ext.cm  
33          (* Technically, the ml-burg tool is not needed here.  It should          (* Technically, the ml-burg tool is not needed here.  It should
34           * eventually be moved into the ML-Burg source tree and installed           * eventually be moved into the ML-Burg source tree and installed
35           * from there. *)           * from there. *)
36          $/mlburg-tool.cm          $/burg-ext.cm           (* implies $/mlburg-tool.cm *)
         $/burg-ext.cm  
37          (* Technically, the noweb tool is not needed here.  It should          (* Technically, the noweb tool is not needed here.  It should
38           * eventually be moved into the noweb source tree and installed           * eventually be moved into the noweb source tree and installed
39           * from there. *)           * from there. *)
40          $/noweb-tool.cm          $/nw-ext.cm             (* implies $/noweb-tool.cm *)
         $/nw-ext.cm  
41          (* Register the make tool here. (Kinda unrealistic to hope that          (* Register the make tool here. (Kinda unrealistic to hope that
42           * Unix' make suddenly comes with a CM plugin... *)           * Unix' make suddenly comes with a CM plugin... *)
43          $/make-tool.cm          $/make-tool.cm

Legend:
Removed from v.732  
changed lines
  Added in v.733

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