-----------------------------------------------------------------------------
--- $Id: DriverState.hs,v 1.60 2001/10/22 10:33:50 simonmar Exp $
+-- $Id: DriverState.hs,v 1.62 2001/12/05 00:08:27 sof Exp $
--
-- Settings for the driver
--
]
{-# NOINLINE v_Hs_source_cpp_opts #-}
+
-- 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)
+#ifdef ILX
+GLOBAL_VAR(v_Keep_il_files, False, Bool)
+GLOBAL_VAR(v_Keep_ilx_files, False, Bool)
+#endif
-- Misc
GLOBAL_VAR(v_Scale_sizes_by, 1.0, Double)
GLOBAL_VAR(v_Excess_precision, False, Bool)
GLOBAL_VAR(v_Read_DotGHCi, True, Bool)
+-- Preprocessor flags
+GLOBAL_VAR(v_Hs_source_pp_opts, [], [String])
+
-----------------------------------------------------------------------------
-- Splitting object files (for libraries)