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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log

Revision 801 - (download) (annotate)
Mon Mar 19 22:53:00 2001 UTC (18 years, 11 months ago) by blume
File size: 2101 byte(s)
parallel make works again
(* Copyright YALE FLINT PROJECT 1997 *)
(* Copyright Bell Labs, Lucent Technologies 1999 *)
(* intsys.cm *)

 * Revised for using the new CM. (M.Blume, 7/1999)

	(* bootstrap stuff *)
	structure InteractiveSystem

	(* export representatives for pro-forma libraries... *)
	structure Compiler
	structure CM
	structure CMB
	structure Tools
	structure YaccTool
	structure LexTool
	structure BurgTool
	structure NowebTool
	structure MakeTool
	structure ShellTool
	structure DirTool

# if not defined(LIGHT)
	(* export one representative from $smlnj/compiler/all.cm *)
	structure Alpha32UnixCMB
# endif 
	$smlnj/init/init.cmi : cm


	(* need access to CM's "init" function *)

	(* these are just here so they get made... *)

        (* We need the ml-yacc and ml-lex tool plugins here. They must
         * always be "plugged in" because they are needed for -rebuild,
	 * i.e., at a time when on-demand loading does not work yet. *)
	$/grm-ext.cm		(* implies $/mlyacc-tool.cm *)
	$/lex-ext.cm		(* implies $/mllex-tool.cm *)
        (* Technically, the ml-burg tool is not needed here.  It should
         * eventually be moved into the ML-Burg source tree and installed
         * from there. *)
	$/burg-ext.cm		(* implies $/mlburg-tool.cm *)
        (* Technically, the noweb tool is not needed here.  It should
         * eventually be moved into the noweb source tree and installed
         * from there. *)
	$/nw-ext.cm		(* implies $/noweb-tool.cm *)
	(* Register the make tool here. (Kinda unrealistic to hope that
	 * Unix' make suddenly comes with a CM plugin... *)
	(* Same for shell tool... *)

	(* Register the "dir" tool.  Its classifier (but not the tool
	 * itself) is always "plugged-in". *)

# if not defined(LIGHT)
# endif

	(* build boot environments *)

	(* glue code (build the interactive system) *)

ViewVC Help
Powered by ViewVC 1.0.0