ghc/compiler/main/DriverFlags.hs

   1 -----------------------------------------------------------------------------
   2 -- $Id: DriverFlags.hs,v 1.12 2000/10/27 14:46:37 simonmar Exp $
   3 --
   4 -- Driver flags
   5 --
   6 -- (c) Simon Marlow 2000
   7 --
   8 -----------------------------------------------------------------------------
   9
  10 module DriverFlags where
  11
  12 #include "HsVersions.h"
  13
  14 import PackageMaintenance
  15 import DriverState
  16 import DriverUtil
  17 import CmdLineOpts
  18 import Config
  19 import Util
  20 import CmdLineOpts
  21
  22 import Exception
  23 import IOExts
  24 import IO
  25 import System
  26 import Char
  27
  28 -----------------------------------------------------------------------------
  29 -- Flags
  30
  31 -- Flag parsing is now done in stages:
  32 --
  33 --     * parse the initial list of flags and remove any flags understood
  34 --       by the driver only.  Determine whether we're in multi-compilation
  35 --       or single-compilation mode.
  36 --
  37 --     * gather the list of "static" hsc flags, and assign them to the global
  38 --       static hsc flags variable.
  39 --
  40 --     * build the inital DynFlags from the remaining flags.
  41 --
  42 --     * complain if we've got any flags left over.
  43 --
  44 --     * for each source file: grab the OPTIONS, and build a new DynFlags
  45 --       to pass to the compiler.
  46
  47 -----------------------------------------------------------------------------
  48 -- Process command-line
  49
  50 data OptKind
  51         = NoArg (IO ())                     -- flag with no argument
  52         | HasArg (String -> IO ())          -- flag has an argument (maybe prefix)
  53         | SepArg (String -> IO ())          -- flag has a separate argument
  54         | Prefix (String -> IO ())          -- flag is a prefix only
  55         | OptPrefix (String -> IO ())       -- flag may be a prefix
  56         | AnySuffix (String -> IO ())       -- flag is a prefix, pass whole arg to fn
  57         | PassFlag  (String -> IO ())       -- flag with no arg, pass flag to fn
  58         | PrefixPred (String -> Bool) (String -> IO ())
  59         | AnySuffixPred (String -> Bool) (String -> IO ())
  60
  61 processArgs :: [(String,OptKind)] -> [String] -> [String]
  62    -> IO [String]  -- returns spare args
  63 processArgs _spec [] spare = return (reverse spare)
  64 processArgs spec args@(('-':arg):args') spare = do
  65   case findArg spec arg of
  66     Just (rest,action) ->
  67       do args' <- processOneArg action rest args
  68          processArgs spec args' spare
  69     Nothing ->
  70       processArgs spec args' (('-':arg):spare)
  71 processArgs spec (arg:args) spare =
  72   processArgs spec args (arg:spare)
  73
  74 processOneArg :: OptKind -> String -> [String] -> IO [String]
  75 processOneArg action rest (dash_arg@('-':arg):args) =
  76   case action of
  77         NoArg  io ->
  78                 if rest == ""
  79                         then io >> return args
  80                         else unknownFlagErr dash_arg
  81
  82         HasArg fio ->
  83                 if rest /= ""
  84                         then fio rest >> return args
  85                         else case args of
  86                                 [] -> unknownFlagErr dash_arg
  87                                 (arg1:args1) -> fio arg1 >> return args1
  88
  89         SepArg fio ->
  90                 case args of
  91                         [] -> unknownFlagErr dash_arg
  92                         (arg1:args1) -> fio arg1 >> return args1
  93
  94         Prefix fio ->
  95                 if rest /= ""
  96                         then fio rest >> return args
  97                         else unknownFlagErr dash_arg
  98
  99         PrefixPred p fio ->
 100                 if rest /= ""
 101                         then fio rest >> return args
 102                         else unknownFlagErr dash_arg
 103
 104         OptPrefix fio       -> fio rest >> return args
 105
 106         AnySuffix fio       -> fio dash_arg >> return args
 107
 108         AnySuffixPred p fio -> fio dash_arg >> return args
 109
 110         PassFlag fio  ->
 111                 if rest /= ""
 112                         then unknownFlagErr dash_arg
 113                         else fio dash_arg >> return args
 114
 115 findArg :: [(String,OptKind)] -> String -> Maybe (String,OptKind)
 116 findArg spec arg
 117   = case [ (remove_spaces rest, k)
 118          | (pat,k) <- spec, Just rest <- [my_prefix_match pat arg],
 119            arg_ok k rest arg ]
 120     of
 121         []      -> Nothing
 122         (one:_) -> Just one
 123
 124 arg_ok (NoArg _)            rest arg = null rest
 125 arg_ok (HasArg _)           rest arg = True
 126 arg_ok (SepArg _)           rest arg = null rest
 127 arg_ok (Prefix _)           rest arg = not (null rest)
 128 arg_ok (PrefixPred p _)     rest arg = not (null rest) && p rest
 129 arg_ok (OptPrefix _)        rest arg = True
 130 arg_ok (PassFlag _)         rest arg = null rest
 131 arg_ok (AnySuffix _)        rest arg = not (null rest)
 132 arg_ok (AnySuffixPred p _)  rest arg = not (null rest) && p arg
 133
 134 -----------------------------------------------------------------------------
 135 -- Static flags
 136
 137 -- note that ordering is important in the following list: any flag which
 138 -- is a prefix flag (i.e. HasArg, Prefix, OptPrefix, AnySuffix) will override
 139 -- flags further down the list with the same prefix.
 140
 141 static_flags =
 142   [  ------- help -------------------------------------------------------
 143      ( "?"              , NoArg long_usage)
 144   ,  ( "-help"          , NoArg long_usage)
 145
 146
 147       ------- version ----------------------------------------------------
 148   ,  ( "-version"        , NoArg (do hPutStrLn stdout (cProjectName
 149                                       ++ ", version " ++ version_str)
 150                                      exitWith ExitSuccess))
 151   ,  ( "-numeric-version", NoArg (do hPutStrLn stdout version_str
 152                                      exitWith ExitSuccess))
 153
 154       ------- verbosity ----------------------------------------------------
 155   ,  ( "v"              , NoArg (writeIORef v_Verbose True) )
 156   ,  ( "n"              , NoArg (writeIORef v_Dry_run True) )
 157
 158         ------- recompilation checker --------------------------------------
 159   ,  ( "recomp"         , NoArg (writeIORef v_Recomp True) )
 160   ,  ( "no-recomp"      , NoArg (writeIORef v_Recomp False) )
 161
 162         ------- ways --------------------------------------------------------
 163   ,  ( "prof"           , NoArg (addNoDups v_Ways       WayProf) )
 164   ,  ( "unreg"          , NoArg (addNoDups v_Ways       WayUnreg) )
 165   ,  ( "dll"            , NoArg (addNoDups v_Ways WayDll) )
 166   ,  ( "ticky"          , NoArg (addNoDups v_Ways       WayTicky) )
 167   ,  ( "parallel"       , NoArg (addNoDups v_Ways       WayPar) )
 168   ,  ( "gransim"        , NoArg (addNoDups v_Ways       WayGran) )
 169   ,  ( "smp"            , NoArg (addNoDups v_Ways       WaySMP) )
 170   ,  ( "debug"          , NoArg (addNoDups v_Ways       WayDebug) )
 171         -- ToDo: user ways
 172
 173         ------ Debugging ----------------------------------------------------
 174   ,  ( "dppr-noprags",     PassFlag (add v_Opt_C) )
 175   ,  ( "dppr-debug",       PassFlag (add v_Opt_C) )
 176   ,  ( "dppr-user-length", AnySuffix (add v_Opt_C) )
 177       -- rest of the debugging flags are dynamic
 178
 179         ------- Interface files ---------------------------------------------
 180   ,  ( "hi"             , NoArg (writeIORef v_ProduceHi True) )
 181   ,  ( "nohi"           , NoArg (writeIORef v_ProduceHi False) )
 182
 183         --------- Profiling --------------------------------------------------
 184   ,  ( "auto-dicts"     , NoArg (add v_Opt_C "-fauto-sccs-on-dicts") )
 185   ,  ( "auto-all"       , NoArg (add v_Opt_C "-fauto-sccs-on-all-toplevs") )
 186   ,  ( "auto"           , NoArg (add v_Opt_C "-fauto-sccs-on-exported-toplevs") )
 187   ,  ( "caf-all"        , NoArg (add v_Opt_C "-fauto-sccs-on-individual-cafs") )
 188          -- "ignore-sccs"  doesn't work  (ToDo)
 189
 190   ,  ( "no-auto-dicts"  , NoArg (add v_Anti_opt_C "-fauto-sccs-on-dicts") )
 191   ,  ( "no-auto-all"    , NoArg (add v_Anti_opt_C "-fauto-sccs-on-all-toplevs") )
 192   ,  ( "no-auto"        , NoArg (add v_Anti_opt_C "-fauto-sccs-on-exported-toplevs") )
 193   ,  ( "no-caf-all"     , NoArg (add v_Anti_opt_C "-fauto-sccs-on-individual-cafs") )
 194
 195         ------- Miscellaneous -----------------------------------------------
 196   ,  ( "no-link-chk"    , NoArg (return ()) ) -- ignored for backwards compat
 197
 198         ------- Output Redirection ------------------------------------------
 199   ,  ( "odir"           , HasArg (writeIORef v_Output_dir  . Just) )
 200   ,  ( "o"              , SepArg (writeIORef v_Output_file . Just) )
 201   ,  ( "osuf"           , HasArg (writeIORef v_Output_suf  . Just) )
 202   ,  ( "hisuf"          , HasArg (writeIORef v_Hi_suf) )
 203   ,  ( "tmpdir"         , HasArg (writeIORef v_TmpDir . (++ "/")) )
 204   ,  ( "ohi"            , HasArg (\s -> case s of
 205                                           "-" -> writeIORef v_Hi_on_stdout True
 206                                           _   -> writeIORef v_Output_hi (Just s)) )
 207         -- -odump?
 208
 209   ,  ( "keep-hc-file"   , AnySuffix (\_ -> writeIORef v_Keep_hc_files True) )
 210   ,  ( "keep-s-file"    , AnySuffix (\_ -> writeIORef v_Keep_s_files  True) )
 211   ,  ( "keep-raw-s-file", AnySuffix (\_ -> writeIORef v_Keep_raw_s_files  True) )
 212   ,  ( "keep-tmp-files" , AnySuffix (\_ -> writeIORef v_Keep_tmp_files True) )
 213
 214   ,  ( "split-objs"     , NoArg (if can_split
 215                                     then do writeIORef v_Split_object_files True
 216                                             add v_Opt_C "-fglobalise-toplev-names"
 217 -- TODO!!!!!                                add opt_c "-DUSE_SPLIT_MARKERS"
 218                                     else hPutStrLn stderr
 219                                             "warning: don't know how to  split \
 220                                             \object files on this architecture"
 221                                 ) )
 222
 223         ------- Include/Import Paths ----------------------------------------
 224   ,  ( "i"              , OptPrefix (addToDirList v_Import_paths) )
 225   ,  ( "I"              , Prefix    (addToDirList v_Include_paths) )
 226
 227         ------- Libraries ---------------------------------------------------
 228   ,  ( "L"              , Prefix (addToDirList v_Library_paths) )
 229   ,  ( "l"              , Prefix (add v_Cmdline_libraries) )
 230
 231         ------- Packages ----------------------------------------------------
 232   ,  ( "package-name"   , HasArg (\s -> add v_Opt_C ("-inpackage="++s)) )
 233
 234   ,  ( "package"        , HasArg (addPackage) )
 235   ,  ( "syslib"         , HasArg (addPackage) ) -- for compatibility w/ old vsns
 236
 237   ,  ( "-list-packages"  , NoArg (listPackages) )
 238   ,  ( "-add-package"    , NoArg (newPackage) )
 239   ,  ( "-delete-package" , SepArg (deletePackage) )
 240
 241         ------- Specific phases  --------------------------------------------
 242   ,  ( "pgmL"           , HasArg (writeIORef v_Pgm_L) )
 243   ,  ( "pgmP"           , HasArg (writeIORef v_Pgm_P) )
 244   ,  ( "pgmc"           , HasArg (writeIORef v_Pgm_c) )
 245   ,  ( "pgmm"           , HasArg (writeIORef v_Pgm_m) )
 246   ,  ( "pgms"           , HasArg (writeIORef v_Pgm_s) )
 247   ,  ( "pgma"           , HasArg (writeIORef v_Pgm_a) )
 248   ,  ( "pgml"           , HasArg (writeIORef v_Pgm_l) )
 249
 250   ,  ( "optdep"         , HasArg (add v_Opt_dep) )
 251   ,  ( "optl"           , HasArg (add v_Opt_l) )
 252   ,  ( "optdll"         , HasArg (add v_Opt_dll) )
 253
 254         ------ Warning opts -------------------------------------------------
 255   ,  ( "W"              , NoArg (writeIORef v_Warning_opt W_) )
 256   ,  ( "Wall"           , NoArg (writeIORef v_Warning_opt W_all) )
 257   ,  ( "Wnot"           , NoArg (writeIORef v_Warning_opt W_not) )
 258   ,  ( "w"              , NoArg (writeIORef v_Warning_opt W_not) )
 259
 260         ----- Linker --------------------------------------------------------
 261   ,  ( "static"         , NoArg (writeIORef v_Static True) )
 262
 263         ------ Compiler flags -----------------------------------------------
 264   ,  ( "O2-for-C"          , NoArg (writeIORef v_minus_o2_for_C True) )
 265   ,  ( "O"                 , OptPrefix (setOptLevel) )
 266
 267   ,  ( "fasm"              , OptPrefix (\_ -> writeIORef v_Hsc_Lang HscAsm) )
 268
 269   ,  ( "fvia-c"            , NoArg (writeIORef v_Hsc_Lang HscC) )
 270   ,  ( "fvia-C"            , NoArg (writeIORef v_Hsc_Lang HscC) )
 271
 272   ,  ( "fno-asm-mangling"  , NoArg (writeIORef v_Do_asm_mangling False) )
 273
 274   ,  ( "fmax-simplifier-iterations",
 275                 Prefix (writeIORef v_MaxSimplifierIterations . read) )
 276
 277   ,  ( "fusagesp"          , NoArg (do writeIORef v_UsageSPInf True
 278                                        add v_Opt_C "-fusagesp-on") )
 279
 280   ,  ( "fexcess-precision" , NoArg (do writeIORef v_Excess_precision True
 281                                        add v_Opt_C "-fexcess-precision"))
 282
 283         -- flags that are "active negatives"
 284   ,  ( "fno-implicit-prelude"   , PassFlag (add v_Opt_C) )
 285   ,  ( "fno-prune-tydecls"      , PassFlag (add v_Opt_C) )
 286   ,  ( "fno-prune-instdecls"    , PassFlag (add v_Opt_C) )
 287   ,  ( "fno-pre-inlining"       , PassFlag (add v_Opt_C) )
 288
 289         -- All other "-fno-<blah>" options cancel out "-f<blah>" on the hsc cmdline
 290   ,  ( "fno-",                  PrefixPred (\s -> isStaticHscFlag ("f"++s))
 291                                     (\s -> add v_Anti_opt_C ("-f"++s)) )
 292
 293         -- Pass all remaining "-f<blah>" options to hsc
 294   ,  ( "f",                     AnySuffixPred (isStaticHscFlag) (add v_Opt_C) )
 295   ]
 296
 297 -----------------------------------------------------------------------------
 298 -- parse the dynamic arguments
 299
 300 GLOBAL_VAR(v_InitDynFlags, error "no InitDynFlags", DynFlags)
 301 GLOBAL_VAR(v_DynFlags, error "no DynFlags", DynFlags)
 302
 303 setDynFlag f = do
 304    dfs <- readIORef v_DynFlags
 305    writeIORef v_DynFlags dfs{ flags = f : flags dfs }
 306
 307 unSetDynFlag f = do
 308    dfs <- readIORef v_DynFlags
 309    writeIORef v_DynFlags dfs{ flags = filter (/= f) (flags dfs) }
 310
 311 dynamic_flags = [
 312
 313      ( "cpp",           NoArg  (updateState (\s -> s{ cpp_flag = True })) )
 314   ,  ( "#include",      HasArg (addCmdlineHCInclude) )
 315
 316   ,  ( "optL",          HasArg (addOpt_L) )
 317   ,  ( "optP",          HasArg (addOpt_P) )
 318   ,  ( "optc",          HasArg (addOpt_c) )
 319   ,  ( "optm",          HasArg (addOpt_m) )
 320   ,  ( "opta",          HasArg (addOpt_a) )
 321
 322         ------ HsCpp opts ---------------------------------------------------
 323   ,  ( "D",             Prefix (\s -> addOpt_P ("-D'"++s++"'") ) )
 324   ,  ( "U",             Prefix (\s -> addOpt_P ("-U'"++s++"'") ) )
 325
 326         ------ Debugging ----------------------------------------------------
 327   ,  ( "dstg-stats",    NoArg (writeIORef v_StgStats True) )
 328
 329   ,  ( "ddump-all",              NoArg (setDynFlag Opt_D_dump_all) )
 330   ,  ( "ddump-most",             NoArg (setDynFlag Opt_D_dump_most) )
 331   ,  ( "ddump-absC",             NoArg (setDynFlag Opt_D_dump_absC) )
 332   ,  ( "ddump-asm",              NoArg (setDynFlag Opt_D_dump_asm) )
 333   ,  ( "ddump-cpranal",          NoArg (setDynFlag Opt_D_dump_cpranal) )
 334   ,  ( "ddump-deriv",            NoArg (setDynFlag Opt_D_dump_deriv) )
 335   ,  ( "ddump-ds",               NoArg (setDynFlag Opt_D_dump_ds) )
 336   ,  ( "ddump-flatC",            NoArg (setDynFlag Opt_D_dump_flatC) )
 337   ,  ( "ddump-foreign",          NoArg (setDynFlag Opt_D_dump_foreign) )
 338   ,  ( "ddump-inlinings",        NoArg (setDynFlag Opt_D_dump_inlinings) )
 339   ,  ( "ddump-occur-anal",       NoArg (setDynFlag Opt_D_dump_occur_anal) )
 340   ,  ( "ddump-parsed",           NoArg (setDynFlag Opt_D_dump_parsed) )
 341   ,  ( "ddump-realC",            NoArg (setDynFlag Opt_D_dump_realC) )
 342   ,  ( "ddump-rn",               NoArg (setDynFlag Opt_D_dump_rn) )
 343   ,  ( "ddump-simpl",            NoArg (setDynFlag Opt_D_dump_simpl) )
 344   ,  ( "ddump-simpl-iterations", NoArg (setDynFlag Opt_D_dump_simpl_iterations) )
 345   ,  ( "ddump-spec",             NoArg (setDynFlag Opt_D_dump_spec) )
 346   ,  ( "ddump-stg",              NoArg (setDynFlag Opt_D_dump_stg) )
 347   ,  ( "ddump-stranal",          NoArg (setDynFlag Opt_D_dump_stranal) )
 348   ,  ( "ddump-tc",               NoArg (setDynFlag Opt_D_dump_tc) )
 349   ,  ( "ddump-types",            NoArg (setDynFlag Opt_D_dump_types) )
 350   ,  ( "ddump-rules",            NoArg (setDynFlag Opt_D_dump_rules) )
 351   ,  ( "ddump-usagesp",          NoArg (setDynFlag Opt_D_dump_usagesp) )
 352   ,  ( "ddump-cse",              NoArg (setDynFlag Opt_D_dump_cse) )
 353   ,  ( "ddump-worker-wrapper",   NoArg (setDynFlag Opt_D_dump_worker_wrapper) )
 354   ,  ( "dshow-passes",           NoArg (setDynFlag Opt_D_show_passes) )
 355   ,  ( "ddump-rn-trace",         NoArg (setDynFlag Opt_D_dump_rn_trace) )
 356   ,  ( "ddump-rn-stats",         NoArg (setDynFlag Opt_D_dump_rn_stats) )
 357   ,  ( "ddump-stix",             NoArg (setDynFlag Opt_D_dump_stix) )
 358   ,  ( "ddump-simpl-stats",      NoArg (setDynFlag Opt_D_dump_simpl_stats) )
 359   ,  ( "dsource-stats",          NoArg (setDynFlag Opt_D_source_stats) )
 360   ,  ( "dverbose-core2core",     NoArg (setDynFlag Opt_D_verbose_core2core) )
 361   ,  ( "dverbose-stg2stg",       NoArg (setDynFlag Opt_D_verbose_stg2stg) )
 362   ,  ( "ddump-hi-diffs",         NoArg (setDynFlag Opt_D_dump_hi_diffs) )
 363   ,  ( "ddump-minimal-imports",  NoArg (setDynFlag Opt_D_dump_minimal_imports) )
 364   ,  ( "dcore-lint",             NoArg (setDynFlag Opt_DoCoreLinting) )
 365   ,  ( "dstg-lint",              NoArg (setDynFlag Opt_DoStgLinting) )
 366   ,  ( "dusagesp-lint",          NoArg (setDynFlag Opt_DoUSPLinting) )
 367
 368         ------ Warnings ----------------------------------------------------
 369
 370   ,  ( "fwarn-duplicate-exports", NoArg (setDynFlag Opt_WarnDuplicateExports) )
 371   ,  ( "fwarn-hi-shadowing",      NoArg (setDynFlag Opt_WarnHiShadows) )
 372   ,  ( "fwarn-incomplete-patterns",  NoArg (setDynFlag Opt_WarnIncompletePatterns) )
 373   ,  ( "fwarn-missing-fields",    NoArg (setDynFlag Opt_WarnMissingFields) )
 374   ,  ( "fwarn-missing-methods",   NoArg (setDynFlag Opt_WarnMissingMethods))
 375   ,  ( "fwarn-missing-signatures", NoArg (setDynFlag Opt_WarnMissingSigs) )
 376   ,  ( "fwarn-name-shadowing",    NoArg (setDynFlag Opt_WarnNameShadowing) )
 377   ,  ( "fwarn-overlapping-patterns", NoArg (setDynFlag Opt_WarnOverlappingPatterns ) )
 378   ,  ( "fwarn-simple-patterns",   NoArg (setDynFlag Opt_WarnSimplePatterns))
 379   ,  ( "fwarn-type-defaults",     NoArg (setDynFlag Opt_WarnTypeDefaults) )
 380   ,  ( "fwarn-unused-binds",      NoArg (setDynFlag Opt_WarnUnusedBinds) )
 381   ,  ( "fwarn-unused-imports",    NoArg (setDynFlag Opt_WarnUnusedImports) )
 382   ,  ( "fwarn-unused-matches",    NoArg (setDynFlag Opt_WarnUnusedMatches) )
 383   ,  ( "fwarn-deprecations",      NoArg (setDynFlag Opt_WarnDeprecations) )
 384
 385         ------ Machine dependant (-m<blah>) stuff ---------------------------
 386
 387   ,  ( "monly-2-regs",  NoArg (updateState (\s -> s{stolen_x86_regs = 2}) ))
 388   ,  ( "monly-3-regs",  NoArg (updateState (\s -> s{stolen_x86_regs = 3}) ))
 389   ,  ( "monly-4-regs",  NoArg (updateState (\s -> s{stolen_x86_regs = 4}) ))
 390
 391         ------ Compiler flags -----------------------------------------------
 392
 393   ,  ( "fglasgow-exts", NoArg (setDynFlag Opt_GlasgowExts) )
 394
 395   ,  ( "fallow-overlapping-instances",
 396                 NoArg (setDynFlag Opt_AllowOverlappingInstances) )
 397
 398   ,  ( "fallow-undecidable-instances",
 399                 NoArg (setDynFlag Opt_AllowUndecidableInstances) )
 400
 401   ,  ( "fgenerics",  NoArg (setDynFlag Opt_Generics) )
 402
 403   ,  ( "freport-compile", NoArg (setDynFlag Opt_ReportCompile) )
 404  ]
 405
 406 -----------------------------------------------------------------------------
 407 -- convert sizes like "3.5M" into integers
 408
 409 decodeSize :: String -> Integer
 410 decodeSize str
 411   | c == ""              = truncate n
 412   | c == "K" || c == "k" = truncate (n * 1000)
 413   | c == "M" || c == "m" = truncate (n * 1000 * 1000)
 414   | c == "G" || c == "g" = truncate (n * 1000 * 1000 * 1000)
 415   | otherwise            = throwDyn (OtherError ("can't decode size: " ++ str))
 416   where (m, c) = span pred str
 417         n      = read m  :: Double
 418         pred c = isDigit c || c == '.'
 419
 420 floatOpt :: IORef Double -> String -> IO ()
 421 floatOpt ref str
 422   = writeIORef ref (read str :: Double)
 423
 424 -----------------------------------------------------------------------------
 425 -- Build the Hsc static command line opts
 426
 427 buildStaticHscOpts :: IO [String]
 428 buildStaticHscOpts = do
 429
 430   opt_C_ <- getStaticOpts v_Opt_C               -- misc hsc opts
 431
 432         -- optimisation
 433   minus_o <- readIORef v_OptLevel
 434   let optimisation_opts =
 435         case minus_o of
 436             0 -> hsc_minusNoO_flags
 437             1 -> hsc_minusO_flags
 438             2 -> hsc_minusO2_flags
 439             _ -> error "unknown opt level"
 440             -- ToDo: -Ofile
 441
 442   let stg_opts = [ "-flet-no-escape" ]
 443         -- let-no-escape always on for now
 444
 445         -- take into account -fno-* flags by removing the equivalent -f*
 446         -- flag from our list.
 447   anti_flags <- getStaticOpts v_Anti_opt_C
 448   let basic_opts = opt_C_ ++ optimisation_opts ++ stg_opts
 449       filtered_opts = filter (`notElem` anti_flags) basic_opts
 450
 451   verb <- is_verbose
 452   let hi_vers = "-fhi-version="++cProjectVersionInt
 453
 454   static <- (do s <- readIORef v_Static; if s then return "-static"
 455                                               else return "")
 456
 457   return ( filtered_opts ++ [ hi_vers, static, verb ] )