-- CedarMakeBoot.cm

-- Atkinson, May 27, 1983 12:44 pm
-- Levin,  November 17, 1982 4:16 pm
-- McGregor, April 28, 1982 7:53 am
-- Rovner, March 30, 1983 5:20 pm
-- Schmidt February 3, 1983 9:53 am
-- Willie-Sue Haugeland,  22-Feb-82  9:18:16

-- on rare occasions (i.e., full recompilation), the following compilation is needed.

Compiler /-b-c-nj StartCedarCore StartCedarUserInterface StartCedarTools

-- when changing BasicCedar:
BringOver /a [Indigo]<PreCedar>Top>CedarRoot.DF;

-- edit CedarInitMain.DoInstallation (in CedarRoot.df) to use a new time stamp
-- edit CedarClient.df, CedarDebugger.df, and Cedar.Version to use same time stamp
-- change the dates on the entries for Cedar.version in CedarClient.df and in CedarDebugger.df
--   to ">" before SModelling to PreCedar.

Bind CedarRoot.config/-a

SModel /v /a CedarRoot; VerifyDF CedarRoot;

BringOver CedarMaker

Bind CedarCore.config/-c CedarUserInterface.config/-c CedarTools.config/-c

-- Basic Cedar (for Dorado only)

MakeBoot BasicCedarDorado ← PilotKernel[Parm: PilotKernel, BCD: PilotLoadStateImpl, BCD: Communication, BCD: BasicHeadsDorado, Parm: BasicHeadsDorado, BCD: CedarRoot, Parm: Cedar]

-- Full Cedar (all machines)

MakeBoot CedarDorado ← PilotKernel[Parm: PilotKernel, BCD: PilotLoadStateImpl, BCD: Communication, BCD: BasicHeadsDorado, Parm: BasicHeadsDorado, BCD: CedarRoot, BCD: CedarCore, BCD: CedarUserInterface, BCD: CedarTools, Parm: Cedar]

MakeBoot CedarD0 ← PilotKernel[Parm: PilotKernel, BCD: PilotLoadStateImpl, BCD: Communication, BCD: BasicHeadsD0, Parm: BasicHeadsD0, BCD: CedarRoot, BCD: CedarCore, BCD: CedarUserInterface, BCD: CedarTools, Parm: Cedar]

MakeBoot CedarDLion ← PilotKernel[Parm: PilotKernel, BCD: PilotLoadStateImpl, BCD: Communication, BCD: BasicHeadsDLion, Parm: BasicHeadsDLion, BCD: CedarRoot, BCD: CedarCore, BCD: CedarUserInterface, BCD: CedarTools, Parm: Cedar]



SModel /v /a CedarMaker; VerifyDF CedarMaker;

-- if you have changed the Cedar version stamp, you must
--	SModel CedarBootUmbrella
--	to make sure the new CedarClient, CedarDebugger, and Cedar.Version are out there.