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 665, Fri Jun 16 04:43:57 2000 UTC revision 666, Fri Jun 16 08:27:00 2000 UTC
# Line 13  Line 13 
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 *)
# Line 27  Line 27 
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          $/mlyacc-tool.cm
31          $mllex-tool.cm          $/mllex-tool.cm
32          $grm-ext.cm          $/grm-ext.cm
33          $lex-ext.cm          $/lex-ext.cm
34          (* Technically, the ml-burg tool is not needed here.  It should          (* Technically, the ml-burg tool is not needed here.  It should
35           * eventually be moved into the ML-Burg source tree and installed           * eventually be moved into the ML-Burg source tree and installed
36           * from there. *)           * from there. *)
37          $mlburg-tool.cm          $/mlburg-tool.cm
38          $burg-ext.cm          $/burg-ext.cm
39          (* Technically, the noweb tool is not needed here.  It should          (* Technically, the noweb tool is not needed here.  It should
40           * eventually be moved into the noweb source tree and installed           * eventually be moved into the noweb source tree and installed
41           * from there. *)           * from there. *)
42          $noweb-tool.cm          $/noweb-tool.cm
43          $nw-ext.cm          $/nw-ext.cm
44          (* Register the make tool here. (Kinda unrealistic to hope that          (* Register the make tool here. (Kinda unrealistic to hope that
45           * Unix' make suddenly comes with a CM plugin... *)           * Unix' make suddenly comes with a CM plugin... *)
46          $make-tool.cm          $/make-tool.cm
47          (* Same for shell tool... *)          (* Same for shell tool... *)
48          $shell-tool.cm          $/shell-tool.cm
49    
50  # if not defined(LIGHT)  # if not defined(LIGHT)
51          $smlnj/compiler/all.cm          $smlnj/compiler/all.cm

Legend:
Removed from v.665  
changed lines
  Added in v.666

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