Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/system/smlnj/internal/intsys.cm
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 879 - (view) (download)
Original Path: sml/trunk/src/system/smlnj/internal/intsys.cm

1 : blume 573 (* Copyright YALE FLINT PROJECT 1997 *)
2 :     (* Copyright Bell Labs, Lucent Technologies 1999 *)
3 :     (* intsys.cm *)
4 :    
5 :     (*
6 :     * Revised for using the new CM. (M.Blume, 7/1999)
7 :     *)
8 :    
9 :     (primitive)
10 :     Library
11 :     (* bootstrap stuff *)
12 :     structure InteractiveSystem
13 : blume 801
14 :     (* export representatives for pro-forma libraries... *)
15 : blume 879 structure Compiler (* $smlnj/compiler/compiler.cm *)
16 :     structure CM (* $smlnj/cm.cm *)
17 :     structure CMB (* $smlnj/cmb.cm *)
18 : blume 801 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 : blume 573 is
32 : blume 643 $smlnj/init/init.cmi : cm
33 : blume 573
34 : blume 666 $/basis.cm
35 : blume 643 $smlnj/viscomp/core.cm
36 : blume 573
37 :     (* need access to CM's "init" function *)
38 : blume 879 $smlnj/internal/cm0.cm
39 : blume 573
40 : blume 879 (* need access to the actual backend *)
41 :     $smlnj/compiler.cm
42 :    
43 : blume 573 (* these are just here so they get made... *)
44 : blume 879 $smlnj/compiler/compiler.cm
45 : blume 643 $smlnj/cm.cm
46 :     $smlnj/cmb.cm
47 : blume 573
48 : blume 643 $smlnj/cm/tools.cm
49 : blume 573 (* We need the ml-yacc and ml-lex tool plugins here. They must
50 : blume 733 * always be "plugged in" because they are needed for -rebuild,
51 :     * i.e., at a time when on-demand loading does not work yet. *)
52 :     $/grm-ext.cm (* implies $/mlyacc-tool.cm *)
53 :     $/lex-ext.cm (* implies $/mllex-tool.cm *)
54 : blume 573 (* Technically, the ml-burg tool is not needed here. It should
55 :     * eventually be moved into the ML-Burg source tree and installed
56 :     * from there. *)
57 : blume 733 $/burg-ext.cm (* implies $/mlburg-tool.cm *)
58 : blume 634 (* Technically, the noweb tool is not needed here. It should
59 :     * eventually be moved into the noweb source tree and installed
60 :     * from there. *)
61 : blume 733 $/nw-ext.cm (* implies $/noweb-tool.cm *)
62 : blume 587 (* Register the make tool here. (Kinda unrealistic to hope that
63 :     * Unix' make suddenly comes with a CM plugin... *)
64 : blume 666 $/make-tool.cm
65 : blume 587 (* Same for shell tool... *)
66 : blume 666 $/shell-tool.cm
67 : blume 573
68 : blume 756 (* Register the "dir" tool. Its classifier (but not the tool
69 :     * itself) is always "plugged-in". *)
70 :     $/dir-tool.cm
71 :    
72 : blume 573 # if not defined(LIGHT)
73 : blume 643 $smlnj/compiler/all.cm
74 : blume 573 # endif
75 :    
76 :     (* build boot environments *)
77 :     boot-env-fn.sml
78 :     boot-env.sml
79 :    
80 :     (* glue code (build the interactive system) *)
81 :     int-sys.sml

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