X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fmain%2FDynFlags.hs;h=b3ee6fb3efb0124bd961cd4378ddfc73a3629821;hb=d363c1fc28d8227b27b4506ebeb089845c5b0af6;hp=1b39d5ded408fb50463759bd05cd1dae1cbe67ec;hpb=17f848e12faf8cf51aa58918522b6abe1e75dc51;p=ghc-hetmet.git

diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index 1b39d5d..b3ee6fb 100644
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -59,7 +59,7 @@ import PrelNames	( mAIN )
 import StaticFlags	( opt_Static )
 #endif
 import StaticFlags	( opt_PIC, WayName(..), v_Ways, v_Build_tag,
-			  v_RTS_Build_tag )
+			  v_RTS_Build_tag, opt_Hpc )
 import {-# SOURCE #-} Packages (PackageState)
 import DriverPhases	( Phase(..), phaseInputExt )
 import Config
@@ -196,6 +196,7 @@ data DynFlag
    | Opt_RewriteRules
 
    -- misc opts
+   | Opt_ShortGhciBanner
    | Opt_Cpp
    | Opt_Pp
    | Opt_ForceRecomp
@@ -676,6 +677,7 @@ getCoreToDo dflags
     cse           = dopt Opt_CSE dflags
     spec_constr   = dopt Opt_SpecConstr dflags
     liberate_case = dopt Opt_LiberateCase dflags
+		  && not opt_Hpc 
     rule_check    = ruleCheck dflags
 
     core_todo = 
@@ -836,6 +838,8 @@ dynamic_flags = [
   ,  ( "F"		, NoArg  (setDynFlag Opt_Pp))
   ,  ( "#include"	, HasArg (addCmdlineHCInclude) )
   ,  ( "v"		, OptIntSuffix setVerbosity )
+  ,  ( "short-ghci-banner", NoArg (setDynFlag Opt_ShortGhciBanner) )
+  ,  ( "long-ghci-banner" , NoArg (unSetDynFlag Opt_ShortGhciBanner) )
 
         ------- Specific phases  --------------------------------------------
   ,  ( "pgmL"           , HasArg (upd . setPgmL) )