X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fmain%2FCmdLineOpts.lhs;h=8464affdeb8d38b1c5804e02c146c1fa11400e65;hb=67b9ddc822964b29ea177bde3c735702afcda667;hp=cf5fdebe586d7cd917bf4688e1fb646dad9566ca;hpb=dead48b49a68659a3bd7f5327a7001336ca0cc1e;p=ghc-hetmet.git

diff --git a/ghc/compiler/main/CmdLineOpts.lhs b/ghc/compiler/main/CmdLineOpts.lhs
index cf5fdeb..8464aff 100644
--- a/ghc/compiler/main/CmdLineOpts.lhs
+++ b/ghc/compiler/main/CmdLineOpts.lhs
@@ -243,7 +243,7 @@ data DynFlag
    | Opt_D_dump_rn_stats
    | Opt_D_dump_stix
    | Opt_D_dump_simpl_stats
-   | Opt_D_dump_InterpSyn
+   | Opt_D_dump_BCOs
    | Opt_D_source_stats
    | Opt_D_verbose_core2core
    | Opt_D_verbose_stg2stg
@@ -281,18 +281,40 @@ data DynFlag
    deriving (Eq)
 
 data DynFlags = DynFlags {
-  coreToDo   :: [CoreToDo],
-  stgToDo    :: [StgToDo],
-  hscLang    :: HscLang,
-  hscOutName :: String,  -- name of the file in which to place output
-  verbosity  :: Int,	 -- verbosity level
-  flags      :: [DynFlag]
+  coreToDo   		:: [CoreToDo],
+  stgToDo    		:: [StgToDo],
+  hscLang    		:: HscLang,
+  hscOutName 		:: String,  	-- name of the output file
+  verbosity  		:: Int,	 	-- verbosity level
+  cppFlag    		:: Bool,	-- preprocess with cpp?
+  stolen_x86_regs	:: Int,		
+  cmdlineHcIncludes	:: [String],	-- -#includes
+
+  -- options for particular phases
+  opt_L			:: [String],
+  opt_P			:: [String],
+  opt_c			:: [String],
+  opt_a			:: [String],
+  opt_m			:: [String],
+
+  -- hsc dynamic flags
+  flags      		:: [DynFlag]
  }
 
 defaultDynFlags = DynFlags {
   coreToDo = [], stgToDo = [], 
-  hscLang = HscC, hscOutName = "", 
-  verbosity = 0, flags = []
+  hscLang = HscC, 
+  hscOutName = "", 
+  verbosity = 0, 
+  cppFlag		= False,
+  stolen_x86_regs	= 4,
+  cmdlineHcIncludes	= [],
+  opt_L			= [],
+  opt_P			= [],
+  opt_c			= [],
+  opt_a			= [],
+  opt_m			= [],
+  flags = []
   }
 
 {- 
@@ -504,7 +526,6 @@ isStaticHscFlag f =
 	"fignore-asserts",
 	"fignore-interface-pragmas",
 	"fno-hi-version-check",
-	"fno-implicit-prelude",
 	"dno-black-holing",
 	"fomit-interface-pragmas",
 	"fno-pre-inlining",