-- 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

-- Modified by Doug Wyatt to make customized Cedar boot files for ISL
-- Last edit by Doug Wyatt, July 24, 1983 4:39 pm


-- 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]<PreISLCedar>Top>CedarRoot.df

-- edit CedarInitMain.DoInstallation (in CedarRoot.df) to use a new time stamp
-- Compile CedarInitMain
-- 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 PreISLCedar.

Bind CedarRoot/-a

SModel /v /a CedarRoot.df
VerifyDF CedarRoot.df


BringOver CedarMaker

Bind CedarCore/-c-s-a CedarUserInterface/-c-s-a CedarTools/-c-s-a

-- 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.df
VerifyDF CedarMaker.df

-- 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.