-----------------------------------------------------------------------------
--- $Id: DriverFlags.hs,v 1.110 2003/01/09 11:39:20 simonmar Exp $
+-- $Id: DriverFlags.hs,v 1.115 2003/05/27 12:40:19 simonmar Exp $
--
-- Driver flags
--
, ( "fno-asm-mangling" , NoArg (writeIORef v_Do_asm_mangling False) )
, ( "fmax-simplifier-iterations",
- Prefix (writeIORef v_MaxSimplifierIterations . read) )
+ PrefixPred (all isDigit) (writeIORef v_MaxSimplifierIterations . read) )
, ( "frule-check",
SepArg (\s -> writeIORef v_RuleCheck (Just s)) )
- , ( "fusagesp" , NoArg (do writeIORef v_UsageSPInf True
- add v_Opt_C "-fusagesp-on") )
-
, ( "fexcess-precision" , NoArg (do writeIORef v_Excess_precision True
add v_Opt_C "-fexcess-precision"))
#endif
------ HsCpp opts ---------------------------------------------------
- -- With a C compiler whose system() doesn't use a UNIX shell (i.e.
- -- mingwin gcc), -D and -U args must *not* be quoted, as the quotes
- -- will be interpreted as part of the arguments, and not stripped;
- -- on all other systems, quoting is necessary, to avoid interpretation
- -- of shell metacharacters in the arguments (e.g. green-card's
- -- -DBEGIN_GHC_ONLY='}-' trick).
-#ifndef mingw32_HOST_OS
- , ( "D", Prefix (\s -> addOpt_P ("-D'"++s++"'") ) )
- , ( "U", Prefix (\s -> addOpt_P ("-U'"++s++"'") ) )
-#else
- , ( "D", Prefix (\s -> addOpt_P ("-D"++s) ) )
- , ( "U", Prefix (\s -> addOpt_P ("-U"++s) ) )
-#endif
+ , ( "D", AnySuffix addOpt_P )
+ , ( "U", AnySuffix addOpt_P )
------ Debugging ----------------------------------------------------
, ( "dstg-stats", NoArg (writeIORef v_StgStats True) )
, ( "ddump-tc", NoArg (setDynFlag Opt_D_dump_tc) )
, ( "ddump-types", NoArg (setDynFlag Opt_D_dump_types) )
, ( "ddump-rules", NoArg (setDynFlag Opt_D_dump_rules) )
- , ( "ddump-usagesp", NoArg (setDynFlag Opt_D_dump_usagesp) )
, ( "ddump-cse", NoArg (setDynFlag Opt_D_dump_cse) )
, ( "ddump-worker-wrapper", NoArg (setDynFlag Opt_D_dump_worker_wrapper) )
, ( "dshow-passes", NoArg (setVerbosity "2") )
, ( "ddump-vect", NoArg (setDynFlag Opt_D_dump_vect) )
, ( "dcore-lint", NoArg (setDynFlag Opt_DoCoreLinting) )
, ( "dstg-lint", NoArg (setDynFlag Opt_DoStgLinting) )
- , ( "dusagesp-lint", NoArg (setDynFlag Opt_DoUSPLinting) )
------ Machine dependant (-m<blah>) stuff ---------------------------