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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 643 - (view) (download)

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 :     is
14 : blume 643 $smlnj/init/init.cmi : cm
15 : blume 573
16 : blume 643 $basis.cm
17 :     $smlnj/viscomp/core.cm
18 : blume 573
19 :     (* need access to CM's "init" function *)
20 : blume 643 $smlnj/internal/host-compiler-0.cm
21 : blume 573
22 :     (* these are just here so they get made... *)
23 : blume 643 $smlnj/compiler.cm
24 : blume 573 (* 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
26 :     * now within full-cm.cm. (See there.) *)
27 : blume 643 $smlnj/cm.cm
28 :     $smlnj/cmb.cm
29 : blume 573
30 : blume 643 $smlnj/cm/tools.cm
31 : blume 573 (* We need the ml-yacc and ml-lex tool plugins here. They must
32 :     * always be "plugged in" because they are needed for -rebuild. *)
33 : blume 643 $mlyacc-tool.cm
34 :     $mllex-tool.cm
35 :     $grm-ext.cm
36 :     $lex-ext.cm
37 : blume 573 (* Technically, the ml-burg tool is not needed here. It should
38 :     * eventually be moved into the ML-Burg source tree and installed
39 :     * from there. *)
40 : blume 643 $mlburg-tool.cm
41 :     $burg-ext.cm
42 : blume 634 (* Technically, the noweb tool is not needed here. It should
43 :     * eventually be moved into the noweb source tree and installed
44 :     * from there. *)
45 : blume 643 $noweb-tool.cm
46 :     $nw-ext.cm
47 : blume 587 (* Register the make tool here. (Kinda unrealistic to hope that
48 :     * Unix' make suddenly comes with a CM plugin... *)
49 : blume 643 $make-tool.cm
50 : blume 587 (* Same for shell tool... *)
51 : blume 643 $shell-tool.cm
52 : blume 573
53 :     # if not defined(LIGHT)
54 : blume 643 $smlnj/compiler/all.cm
55 : blume 573 # endif
56 :    
57 :     (* build boot environments *)
58 :     boot-env-fn.sml
59 :     boot-env.sml
60 :    
61 :     (* glue code (build the interactive system) *)
62 :     int-sys.sml

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