-----------------------------------------------------------------------------
--- $Id: DriverState.hs,v 1.58 2001/09/26 15:12:34 simonpj Exp $
+-- $Id: DriverState.hs,v 1.60 2001/10/22 10:33:50 simonmar Exp $
--
-- Settings for the driver
--
GLOBAL_VAR(v_GhcMode, error "mode not set", GhcMode)
+isCompManagerMode DoMake = True
+isCompManagerMode DoInteractive = True
+isCompManagerMode _ = False
+
-----------------------------------------------------------------------------
-- Global compilation flags
-- Keep output from intermediate phases
GLOBAL_VAR(v_Keep_hi_diffs, False, Bool)
GLOBAL_VAR(v_Keep_hc_files, False, Bool)
+GLOBAL_VAR(v_Keep_il_files, False, Bool)
GLOBAL_VAR(v_Keep_s_files, False, Bool)
GLOBAL_VAR(v_Keep_raw_s_files, False, Bool)
GLOBAL_VAR(v_Keep_tmp_files, False, Bool)