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/system/smlnj/internal/boot-env.sml
ViewVC logotype

View of /sml/trunk/system/smlnj/internal/boot-env.sml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 2609 - (download) (annotate)
Thu May 24 01:19:36 2007 UTC (14 years, 2 months ago) by blume
File size: 749 byte(s)
use NO_PLUGINS to control whether plugin tools are needed for
bootstrap compilation
(* Copyright 1998 by Lucent Technologies *)
(* boot-env.sml *)

(* Run the BootEnvF functor which builds the boot environments.
 *   It is important that this functor is done executing by the time
 *   the code for the InteractiveSystem runs.  Otherwise we would never
 *   be able to get rid of CM/CMB from an interactive heap image.
 *  -M.Blume (6/1998)
structure BootEnv =
    BootEnvF (datatype envrequest = datatype CM0.envrequest
	      val architecture = Backend.architecture
	      val cminit = CM0.init
	      fun cmbmake (nbd, light) =
		  (if light then #set (CMB.symval "LIGHT") (SOME 1) else ();
		   #set (CMB.symval "CMB_REBUILD_MODE") (SOME 1);
		   #set (CMB.symval "NO_PLUGINS") (SOME 1);
		   ignore (CMB.make' (SOME nbd))))

ViewVC Help
Powered by ViewVC 1.0.0