+{-# OPTIONS -#include "hschooks.h" #-}
+
-----------------------------------------------------------------------------
--- $Id: DriverFlags.hs,v 1.4 2000/10/16 14:26:26 simonmar Exp $
+-- $Id: DriverFlags.hs,v 1.63 2001/07/24 04:47:06 ken Exp $
--
-- Driver flags
--
--
-----------------------------------------------------------------------------
-module DriverFlags where
+module DriverFlags (
+ processArgs, OptKind(..), static_flags, dynamic_flags,
+ getDynFlags, dynFlag,
+ getOpts, getVerbFlag, addCmdlineHCInclude,
+ buildStaticHscOpts,
+ machdepCCOpts
+ ) where
#include "HsVersions.h"
+#include "../includes/config.h"
-import PackageMaintenance
import DriverState
import DriverUtil
+import SysTools ( setTmpDir, setPgm, setDryRun, showGhcUsage )
import CmdLineOpts
import Config
import Util
-import CmdLineOpts
+import Panic
import Exception
import IOExts
+import System ( exitWith, ExitCode(..) )
+
import IO
-import System
+import Maybe
+import Monad
import Char
-----------------------------------------------------------------------------
--
-- * parse the initial list of flags and remove any flags understood
-- by the driver only. Determine whether we're in multi-compilation
--- or single-compilation mode.
+-- or single-compilation mode (done in Main.main).
--
-- * gather the list of "static" hsc flags, and assign them to the global
-- static hsc flags variable.
| AnySuffixPred (String -> Bool) (String -> IO ())
processArgs :: [(String,OptKind)] -> [String] -> [String]
- -> IO [String] -- returns spare args
+ -> IO [String] -- returns spare args
processArgs _spec [] spare = return (reverse spare)
-processArgs spec args@(arg@('-':_):args') spare = do
+
+processArgs spec args@(('-':arg):args') spare = do
case findArg spec arg of
- Just (rest,action) ->
- do args' <- processOneArg action rest args
- processArgs spec args' spare
- Nothing ->
- processArgs spec args' (arg:spare)
+ Just (rest,action) -> do args' <- processOneArg action rest args
+ processArgs spec args' spare
+ Nothing -> processArgs spec args' (('-':arg):spare)
+
processArgs spec (arg:args) spare =
processArgs spec args (arg:spare)
findArg :: [(String,OptKind)] -> String -> Maybe (String,OptKind)
findArg spec arg
= case [ (remove_spaces rest, k)
- | (pat,k) <- spec, Just rest <- [my_prefix_match pat arg],
- arg_ok k arg rest ]
+ | (pat,k) <- spec,
+ Just rest <- [my_prefix_match pat arg],
+ arg_ok k rest arg ]
of
[] -> Nothing
(one:_) -> Just one
arg_ok (PrefixPred p _) rest arg = not (null rest) && p rest
arg_ok (OptPrefix _) rest arg = True
arg_ok (PassFlag _) rest arg = null rest
-arg_ok (AnySuffix _) rest arg = not (null rest)
-arg_ok (AnySuffixPred p _) rest arg = not (null rest) && p arg
+arg_ok (AnySuffix _) rest arg = True
+arg_ok (AnySuffixPred p _) rest arg = p arg
-----------------------------------------------------------------------------
-- Static flags
static_flags =
[ ------- help -------------------------------------------------------
- ( "?" , NoArg long_usage)
- , ( "-help" , NoArg long_usage)
+ ( "?" , NoArg showGhcUsage)
+ , ( "-help" , NoArg showGhcUsage)
------- version ----------------------------------------------------
, ( "-version" , NoArg (do hPutStrLn stdout (cProjectName
- ++ ", version " ++ version_str)
+ ++ ", version " ++ cProjectVersion)
exitWith ExitSuccess))
- , ( "-numeric-version", NoArg (do hPutStrLn stdout version_str
+ , ( "-numeric-version", NoArg (do hPutStrLn stdout cProjectVersion
exitWith ExitSuccess))
------- verbosity ----------------------------------------------------
- , ( "v" , NoArg (writeIORef verbose True) )
- , ( "n" , NoArg (writeIORef dry_run True) )
+ , ( "n" , NoArg setDryRun )
------- recompilation checker --------------------------------------
- , ( "recomp" , NoArg (writeIORef recomp True) )
- , ( "no-recomp" , NoArg (writeIORef recomp False) )
+ , ( "recomp" , NoArg (writeIORef v_Recomp True) )
+ , ( "no-recomp" , NoArg (writeIORef v_Recomp False) )
------- ways --------------------------------------------------------
- , ( "prof" , NoArg (addNoDups ways WayProf) )
- , ( "unreg" , NoArg (addNoDups ways WayUnreg) )
- , ( "dll" , NoArg (addNoDups ways WayDll) )
- , ( "ticky" , NoArg (addNoDups ways WayTicky) )
- , ( "parallel" , NoArg (addNoDups ways WayPar) )
- , ( "gransim" , NoArg (addNoDups ways WayGran) )
- , ( "smp" , NoArg (addNoDups ways WaySMP) )
- , ( "debug" , NoArg (addNoDups ways WayDebug) )
+ , ( "prof" , NoArg (addNoDups v_Ways WayProf) )
+ , ( "unreg" , NoArg (addNoDups v_Ways WayUnreg) )
+ , ( "ticky" , NoArg (addNoDups v_Ways WayTicky) )
+ , ( "parallel" , NoArg (addNoDups v_Ways WayPar) )
+ , ( "gransim" , NoArg (addNoDups v_Ways WayGran) )
+ , ( "smp" , NoArg (addNoDups v_Ways WaySMP) )
+ , ( "debug" , NoArg (addNoDups v_Ways WayDebug) )
-- ToDo: user ways
------ Debugging ----------------------------------------------------
- , ( "dppr-noprags", PassFlag (add opt_C) )
- , ( "dppr-debug", PassFlag (add opt_C) )
- , ( "dppr-user-length", AnySuffix (add opt_C) )
+ , ( "dppr-noprags", PassFlag (add v_Opt_C) )
+ , ( "dppr-debug", PassFlag (add v_Opt_C) )
+ , ( "dppr-user-length", AnySuffix (add v_Opt_C) )
-- rest of the debugging flags are dynamic
- ------- Interface files ---------------------------------------------
- , ( "hi" , NoArg (writeIORef produceHi True) )
- , ( "nohi" , NoArg (writeIORef produceHi False) )
-
--------- Profiling --------------------------------------------------
- , ( "auto-dicts" , NoArg (add opt_C "-fauto-sccs-on-dicts") )
- , ( "auto-all" , NoArg (add opt_C "-fauto-sccs-on-all-toplevs") )
- , ( "auto" , NoArg (add opt_C "-fauto-sccs-on-exported-toplevs") )
- , ( "caf-all" , NoArg (add opt_C "-fauto-sccs-on-individual-cafs") )
+ , ( "auto-dicts" , NoArg (add v_Opt_C "-fauto-sccs-on-dicts") )
+ , ( "auto-all" , NoArg (add v_Opt_C "-fauto-sccs-on-all-toplevs") )
+ , ( "auto" , NoArg (add v_Opt_C "-fauto-sccs-on-exported-toplevs") )
+ , ( "caf-all" , NoArg (add v_Opt_C "-fauto-sccs-on-individual-cafs") )
-- "ignore-sccs" doesn't work (ToDo)
- , ( "no-auto-dicts" , NoArg (add anti_opt_C "-fauto-sccs-on-dicts") )
- , ( "no-auto-all" , NoArg (add anti_opt_C "-fauto-sccs-on-all-toplevs") )
- , ( "no-auto" , NoArg (add anti_opt_C "-fauto-sccs-on-exported-toplevs") )
- , ( "no-caf-all" , NoArg (add anti_opt_C "-fauto-sccs-on-individual-cafs") )
+ , ( "no-auto-dicts" , NoArg (add v_Anti_opt_C "-fauto-sccs-on-dicts") )
+ , ( "no-auto-all" , NoArg (add v_Anti_opt_C "-fauto-sccs-on-all-toplevs") )
+ , ( "no-auto" , NoArg (add v_Anti_opt_C "-fauto-sccs-on-exported-toplevs") )
+ , ( "no-caf-all" , NoArg (add v_Anti_opt_C "-fauto-sccs-on-individual-cafs") )
------- Miscellaneous -----------------------------------------------
, ( "no-link-chk" , NoArg (return ()) ) -- ignored for backwards compat
+ , ( "no-hs-main" , NoArg (writeIORef v_NoHsMain True) )
------- Output Redirection ------------------------------------------
- , ( "odir" , HasArg (writeIORef output_dir . Just) )
- , ( "o" , SepArg (writeIORef output_file . Just) )
- , ( "osuf" , HasArg (writeIORef output_suf . Just) )
- , ( "hisuf" , HasArg (writeIORef hi_suf) )
- , ( "tmpdir" , HasArg (writeIORef v_TmpDir . (++ "/")) )
- , ( "ohi" , HasArg (\s -> case s of
- "-" -> writeIORef hi_on_stdout True
- _ -> writeIORef output_hi (Just s)) )
+ , ( "odir" , HasArg (writeIORef v_Output_dir . Just) )
+ , ( "o" , SepArg (writeIORef v_Output_file . Just) )
+ , ( "osuf" , HasArg (writeIORef v_Object_suf . Just) )
+ , ( "hcsuf" , HasArg (writeIORef v_HC_suf . Just) )
+ , ( "hisuf" , HasArg (writeIORef v_Hi_suf) )
+ , ( "hidir" , HasArg (writeIORef v_Hi_dir . Just) )
+ , ( "buildtag" , HasArg (writeIORef v_Build_tag) )
+ , ( "tmpdir" , HasArg setTmpDir)
+ , ( "ohi" , HasArg (writeIORef v_Output_hi . Just) )
-- -odump?
- , ( "keep-hc-file" , AnySuffix (\_ -> writeIORef keep_hc_files True) )
- , ( "keep-s-file" , AnySuffix (\_ -> writeIORef keep_s_files True) )
- , ( "keep-raw-s-file", AnySuffix (\_ -> writeIORef keep_raw_s_files True) )
- , ( "keep-tmp-files" , AnySuffix (\_ -> writeIORef keep_tmp_files True) )
+ , ( "keep-hc-file" , AnySuffix (\_ -> writeIORef v_Keep_hc_files True) )
+ , ( "keep-s-file" , AnySuffix (\_ -> writeIORef v_Keep_s_files True) )
+ , ( "keep-raw-s-file", AnySuffix (\_ -> writeIORef v_Keep_raw_s_files True) )
+ , ( "keep-tmp-files" , AnySuffix (\_ -> writeIORef v_Keep_tmp_files True) )
, ( "split-objs" , NoArg (if can_split
- then do writeIORef split_object_files True
- add opt_C "-fglobalise-toplev-names"
--- TODO!!!!! add opt_c "-DUSE_SPLIT_MARKERS"
+ then do writeIORef v_Split_object_files True
+ add v_Opt_C "-fglobalise-toplev-names"
else hPutStrLn stderr
"warning: don't know how to split \
\object files on this architecture"
) )
-
+
------- Include/Import Paths ----------------------------------------
- , ( "i" , OptPrefix (addToDirList import_paths) )
- , ( "I" , Prefix (addToDirList include_paths) )
+ , ( "i" , OptPrefix (addToDirList v_Import_paths) )
+ , ( "I" , Prefix (addToDirList v_Include_paths) )
------- Libraries ---------------------------------------------------
- , ( "L" , Prefix (addToDirList library_paths) )
- , ( "l" , Prefix (add cmdline_libraries) )
+ , ( "L" , Prefix (addToDirList v_Library_paths) )
+ , ( "l" , Prefix (add v_Cmdline_libraries) )
------- Packages ----------------------------------------------------
- , ( "package-name" , HasArg (\s -> add opt_C ("-inpackage="++s)) )
+ , ( "package-name" , HasArg (\s -> add v_Opt_C ("-inpackage="++s)) )
, ( "package" , HasArg (addPackage) )
, ( "syslib" , HasArg (addPackage) ) -- for compatibility w/ old vsns
- , ( "-list-packages" , NoArg (listPackages) )
- , ( "-add-package" , NoArg (newPackage) )
- , ( "-delete-package" , SepArg (deletePackage) )
-
------- Specific phases --------------------------------------------
- , ( "pgmL" , HasArg (writeIORef pgm_L) )
- , ( "pgmP" , HasArg (writeIORef pgm_P) )
- , ( "pgmc" , HasArg (writeIORef pgm_c) )
- , ( "pgmm" , HasArg (writeIORef pgm_m) )
- , ( "pgms" , HasArg (writeIORef pgm_s) )
- , ( "pgma" , HasArg (writeIORef pgm_a) )
- , ( "pgml" , HasArg (writeIORef pgm_l) )
-
- , ( "optdep" , HasArg (add opt_dep) )
- , ( "optl" , HasArg (add opt_l) )
- , ( "optdll" , HasArg (add opt_dll) )
+ , ( "pgm" , HasArg setPgm )
- ------ Warning opts -------------------------------------------------
- , ( "W" , NoArg (writeIORef warning_opt W_) )
- , ( "Wall" , NoArg (writeIORef warning_opt W_all) )
- , ( "Wnot" , NoArg (writeIORef warning_opt W_not) )
- , ( "w" , NoArg (writeIORef warning_opt W_not) )
+ , ( "optdep" , HasArg (add v_Opt_dep) )
+ , ( "optl" , HasArg (add v_Opt_l) )
+ , ( "optdll" , HasArg (add v_Opt_dll) )
----- Linker --------------------------------------------------------
- , ( "static" , NoArg (writeIORef static True) )
+ , ( "static" , NoArg (writeIORef v_Static True) )
+ , ( "dynamic" , NoArg (writeIORef v_Static False) )
+ , ( "rdynamic" , NoArg (return ()) ) -- ignored for compat w/ gcc
+
+ ----- RTS opts ------------------------------------------------------
+ , ( "H" , HasArg (setHeapSize . fromIntegral . decodeSize) )
+ , ( "Rghc-timing" , NoArg (enableTimingStats) )
------ Compiler flags -----------------------------------------------
- , ( "O2-for-C" , NoArg (writeIORef opt_minus_o2_for_C True) )
+ , ( "O2-for-C" , NoArg (writeIORef v_minus_o2_for_C True) )
, ( "O" , OptPrefix (setOptLevel) )
- , ( "fasm" , OptPrefix (\_ -> writeIORef hsc_lang HscAsm) )
-
- , ( "fvia-c" , NoArg (writeIORef hsc_lang HscC) )
- , ( "fvia-C" , NoArg (writeIORef hsc_lang HscC) )
-
- , ( "fno-asm-mangling" , NoArg (writeIORef do_asm_mangling False) )
+ , ( "fno-asm-mangling" , NoArg (writeIORef v_Do_asm_mangling False) )
, ( "fmax-simplifier-iterations",
- Prefix (writeIORef opt_MaxSimplifierIterations . read) )
+ Prefix (writeIORef v_MaxSimplifierIterations . read) )
- , ( "fusagesp" , NoArg (do writeIORef opt_UsageSPInf True
- add opt_C "-fusagesp-on") )
+ , ( "fusagesp" , NoArg (do writeIORef v_UsageSPInf True
+ add v_Opt_C "-fusagesp-on") )
- , ( "fexcess-precision" , NoArg (do writeIORef excess_precision True
- add opt_C "-fexcess-precision"))
+ , ( "fexcess-precision" , NoArg (do writeIORef v_Excess_precision True
+ add v_Opt_C "-fexcess-precision"))
- -- flags that are "active negatives"
- , ( "fno-implicit-prelude" , PassFlag (add opt_C) )
- , ( "fno-prune-tydecls" , PassFlag (add opt_C) )
- , ( "fno-prune-instdecls" , PassFlag (add opt_C) )
- , ( "fno-pre-inlining" , PassFlag (add opt_C) )
+ -- Optimisation flags are treated specially, so the normal
+ -- -fno-* pattern below doesn't work. We therefore allow
+ -- certain optimisation passes to be turned off explicitly:
+ , ( "fno-strictness" , NoArg (writeIORef v_Strictness False) )
+ , ( "fno-cpr" , NoArg (writeIORef v_CPR False) )
+ , ( "fno-cse" , NoArg (writeIORef v_CSE False) )
-- All other "-fno-<blah>" options cancel out "-f<blah>" on the hsc cmdline
, ( "fno-", PrefixPred (\s -> isStaticHscFlag ("f"++s))
- (\s -> add anti_opt_C ("-f"++s)) )
+ (\s -> add v_Anti_opt_C ("-f"++s)) )
-- Pass all remaining "-f<blah>" options to hsc
- , ( "f", AnySuffixPred (isStaticHscFlag) (add opt_C) )
+ , ( "f", AnySuffixPred (isStaticHscFlag) (add v_Opt_C) )
]
------------------------------------------------------------------------------
--- parse the dynamic arguments
-
-GLOBAL_VAR(v_DynFlags, error "no dynFlags", DynFlags)
-
-setDynFlag f = do
- dfs <- readIORef v_DynFlags
- writeIORef v_DynFlags dfs{ flags = f : flags dfs }
-
-unSetDynFlag f = do
- dfs <- readIORef v_DynFlags
- writeIORef v_DynFlags dfs{ flags = filter (/= f) (flags dfs) }
-
dynamic_flags = [
- ( "cpp", NoArg (updateState (\s -> s{ cpp_flag = True })) )
+ ( "cpp", NoArg (updDynFlags (\s -> s{ cppFlag = True })) )
, ( "#include", HasArg (addCmdlineHCInclude) )
+ , ( "v", OptPrefix (setVerbosity) )
+
, ( "optL", HasArg (addOpt_L) )
, ( "optP", HasArg (addOpt_P) )
, ( "optc", HasArg (addOpt_c) )
, ( "opta", HasArg (addOpt_a) )
------ 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_TARGET_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
------ Debugging ----------------------------------------------------
- , ( "dstg-stats", NoArg (writeIORef opt_StgStats True) )
-
- , ( "ddump_all", NoArg (setDynFlag Opt_D_dump_all) )
- , ( "ddump_most", NoArg (setDynFlag Opt_D_dump_most) )
- , ( "ddump_absC", NoArg (setDynFlag Opt_D_dump_absC) )
- , ( "ddump_asm", NoArg (setDynFlag Opt_D_dump_asm) )
- , ( "ddump_cpranal", NoArg (setDynFlag Opt_D_dump_cpranal) )
- , ( "ddump_deriv", NoArg (setDynFlag Opt_D_dump_deriv) )
- , ( "ddump_ds", NoArg (setDynFlag Opt_D_dump_ds) )
- , ( "ddump_flatC", NoArg (setDynFlag Opt_D_dump_flatC) )
- , ( "ddump_foreign", NoArg (setDynFlag Opt_D_dump_foreign) )
- , ( "ddump_inlinings", NoArg (setDynFlag Opt_D_dump_inlinings) )
- , ( "ddump_occur_anal", NoArg (setDynFlag Opt_D_dump_occur_anal) )
- , ( "ddump_parsed", NoArg (setDynFlag Opt_D_dump_parsed) )
- , ( "ddump_realC", NoArg (setDynFlag Opt_D_dump_realC) )
- , ( "ddump_rn", NoArg (setDynFlag Opt_D_dump_rn) )
- , ( "ddump_simpl", NoArg (setDynFlag Opt_D_dump_simpl) )
- , ( "ddump_simpl_iterations", NoArg (setDynFlag Opt_D_dump_simpl_iterations) )
- , ( "ddump_spec", NoArg (setDynFlag Opt_D_dump_spec) )
- , ( "ddump_stg", NoArg (setDynFlag Opt_D_dump_stg) )
- , ( "ddump_stranal", NoArg (setDynFlag Opt_D_dump_stranal) )
- , ( "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 (setDynFlag Opt_D_show_passes) )
- , ( "ddump_rn_trace", NoArg (setDynFlag Opt_D_dump_rn_trace) )
- , ( "ddump_rn_stats", NoArg (setDynFlag Opt_D_dump_rn_stats) )
- , ( "ddump_stix", NoArg (setDynFlag Opt_D_dump_stix) )
- , ( "ddump_simpl_stats", NoArg (setDynFlag Opt_D_dump_simpl_stats) )
- , ( "dsource_stats", NoArg (setDynFlag Opt_D_source_stats) )
- , ( "dverbose_core2core", NoArg (setDynFlag Opt_D_verbose_core2core) )
- , ( "dverbose_stg2stg", NoArg (setDynFlag Opt_D_verbose_stg2stg) )
- , ( "ddump_hi_diffs", NoArg (setDynFlag Opt_D_dump_hi_diffs) )
- , ( "ddump_minimal_imports", NoArg (setDynFlag Opt_D_dump_minimal_imports) )
- , ( "DoCoreLinting", NoArg (setDynFlag Opt_DoCoreLinting) )
- , ( "DoStgLinting", NoArg (setDynFlag Opt_DoStgLinting) )
- , ( "DoUSPLinting", NoArg (setDynFlag Opt_DoUSPLinting) )
+ , ( "dstg-stats", NoArg (writeIORef v_StgStats True) )
+
+ , ( "ddump-absC", NoArg (setDynFlag Opt_D_dump_absC) )
+ , ( "ddump-asm", NoArg (setDynFlag Opt_D_dump_asm) )
+ , ( "ddump-cpranal", NoArg (setDynFlag Opt_D_dump_cpranal) )
+ , ( "ddump-deriv", NoArg (setDynFlag Opt_D_dump_deriv) )
+ , ( "ddump-ds", NoArg (setDynFlag Opt_D_dump_ds) )
+ , ( "ddump-flatC", NoArg (setDynFlag Opt_D_dump_flatC) )
+ , ( "ddump-foreign", NoArg (setDynFlag Opt_D_dump_foreign) )
+ , ( "ddump-inlinings", NoArg (setDynFlag Opt_D_dump_inlinings) )
+ , ( "ddump-occur-anal", NoArg (setDynFlag Opt_D_dump_occur_anal) )
+ , ( "ddump-parsed", NoArg (setDynFlag Opt_D_dump_parsed) )
+ , ( "ddump-realC", NoArg (setDynFlag Opt_D_dump_realC) )
+ , ( "ddump-rn", NoArg (setDynFlag Opt_D_dump_rn) )
+ , ( "ddump-simpl", NoArg (setDynFlag Opt_D_dump_simpl) )
+ , ( "ddump-simpl-iterations", NoArg (setDynFlag Opt_D_dump_simpl_iterations) )
+ , ( "ddump-spec", NoArg (setDynFlag Opt_D_dump_spec) )
+ , ( "ddump-sat", NoArg (setDynFlag Opt_D_dump_sat) )
+ , ( "ddump-stg", NoArg (setDynFlag Opt_D_dump_stg) )
+ , ( "ddump-stranal", NoArg (setDynFlag Opt_D_dump_stranal) )
+ , ( "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-rn-trace", NoArg (setDynFlag Opt_D_dump_rn_trace) )
+ , ( "ddump-tc-trace", NoArg (setDynFlag Opt_D_dump_tc_trace) )
+ , ( "ddump-rn-stats", NoArg (setDynFlag Opt_D_dump_rn_stats) )
+ , ( "ddump-stix", NoArg (setDynFlag Opt_D_dump_stix) )
+ , ( "ddump-simpl-stats", NoArg (setDynFlag Opt_D_dump_simpl_stats) )
+ , ( "ddump-bcos", NoArg (setDynFlag Opt_D_dump_BCOs) )
+ , ( "dsource-stats", NoArg (setDynFlag Opt_D_source_stats) )
+ , ( "dverbose-core2core", NoArg (setDynFlag Opt_D_verbose_core2core) )
+ , ( "dverbose-stg2stg", NoArg (setDynFlag Opt_D_verbose_stg2stg) )
+ , ( "ddump-hi-diffs", NoArg (setDynFlag Opt_D_dump_hi_diffs) )
+ , ( "ddump-hi", NoArg (setDynFlag Opt_D_dump_hi) )
+ , ( "ddump-minimal-imports", NoArg (setDynFlag Opt_D_dump_minimal_imports) )
+ , ( "dcore-lint", NoArg (setDynFlag Opt_DoCoreLinting) )
+ , ( "dstg-lint", NoArg (setDynFlag Opt_DoStgLinting) )
+ , ( "dusagesp-lint", NoArg (setDynFlag Opt_DoUSPLinting) )
------ Machine dependant (-m<blah>) stuff ---------------------------
- , ( "monly-2-regs", NoArg (updateState (\s -> s{stolen_x86_regs = 2}) ))
- , ( "monly-3-regs", NoArg (updateState (\s -> s{stolen_x86_regs = 3}) ))
- , ( "monly-4-regs", NoArg (updateState (\s -> s{stolen_x86_regs = 4}) ))
+ , ( "monly-2-regs", NoArg (updDynFlags (\s -> s{stolen_x86_regs = 2}) ))
+ , ( "monly-3-regs", NoArg (updDynFlags (\s -> s{stolen_x86_regs = 3}) ))
+ , ( "monly-4-regs", NoArg (updDynFlags (\s -> s{stolen_x86_regs = 4}) ))
+
+ ------ Warning opts -------------------------------------------------
+ , ( "W" , NoArg (mapM_ setDynFlag minusWOpts) )
+ , ( "Wall" , NoArg (mapM_ setDynFlag minusWallOpts) )
+ , ( "Wnot" , NoArg (mapM_ unSetDynFlag minusWallOpts) ) /* DEPREC */
+ , ( "w" , NoArg (mapM_ unSetDynFlag minusWallOpts) )
------ Compiler flags -----------------------------------------------
- , ( "fglasgow-exts", NoArg (setDynFlag Opt_GlasgowExts) )
+ , ( "fasm", AnySuffix (\_ -> setLang HscAsm) )
+ , ( "fvia-c", NoArg (setLang HscC) )
+ , ( "fvia-C", NoArg (setLang HscC) )
+ , ( "filx", NoArg (setLang HscILX) )
- , ( "fallow-overlapping-instances",
- NoArg (setDynFlag Opt_AllowOverlappingInstances) )
+ -- "active negatives"
+ , ( "fno-implicit-prelude", NoArg (setDynFlag Opt_NoImplicitPrelude) )
- , ( "fallow-undecidable-instances",
- NoArg (setDynFlag Opt_AllowUndecidableInstances) )
+ -- the rest of the -f* and -fno-* flags
+ , ( "fno-", PrefixPred (\f -> isFFlag f) (\f -> unSetDynFlag (getFFlag f)) )
+ , ( "f", PrefixPred (\f -> isFFlag f) (\f -> setDynFlag (getFFlag f)) )
]
+-- these -f<blah> flags can all be reversed with -fno-<blah>
+
+fFlags = [
+ ( "warn-duplicate-exports", Opt_WarnDuplicateExports ),
+ ( "warn-hi-shadowing", Opt_WarnHiShadows ),
+ ( "warn-incomplete-patterns", Opt_WarnIncompletePatterns ),
+ ( "warn-missing-fields", Opt_WarnMissingFields ),
+ ( "warn-missing-methods", Opt_WarnMissingMethods ),
+ ( "warn-missing-signatures", Opt_WarnMissingSigs ),
+ ( "warn-name-shadowing", Opt_WarnNameShadowing ),
+ ( "warn-overlapping-patterns", Opt_WarnOverlappingPatterns ),
+ ( "warn-simple-patterns", Opt_WarnSimplePatterns ),
+ ( "warn-type-defaults", Opt_WarnTypeDefaults ),
+ ( "warn-unused-binds", Opt_WarnUnusedBinds ),
+ ( "warn-unused-imports", Opt_WarnUnusedImports ),
+ ( "warn-unused-matches", Opt_WarnUnusedMatches ),
+ ( "warn-deprecations", Opt_WarnDeprecations ),
+ ( "glasgow-exts", Opt_GlasgowExts ),
+ ( "allow-overlapping-instances", Opt_AllowOverlappingInstances ),
+ ( "allow-undecidable-instances", Opt_AllowUndecidableInstances ),
+ ( "generics", Opt_Generics )
+ ]
+
+isFFlag f = f `elem` (map fst fFlags)
+getFFlag f = fromJust (lookup f fFlags)
+
-----------------------------------------------------------------------------
-- convert sizes like "3.5M" into integers
| c == "K" || c == "k" = truncate (n * 1000)
| c == "M" || c == "m" = truncate (n * 1000 * 1000)
| c == "G" || c == "g" = truncate (n * 1000 * 1000 * 1000)
- | otherwise = throwDyn (OtherError ("can't decode size: " ++ str))
+ | otherwise = throwDyn (CmdLineError ("can't decode size: " ++ str))
where (m, c) = span pred str
n = read m :: Double
pred c = isDigit c || c == '.'
-floatOpt :: IORef Double -> String -> IO ()
-floatOpt ref str
- = writeIORef ref (read str :: Double)
+
+-----------------------------------------------------------------------------
+-- RTS Hooks
+
+foreign import "setHeapSize" unsafe setHeapSize :: Int -> IO ()
+foreign import "enableTimingStats" unsafe enableTimingStats :: IO ()
-----------------------------------------------------------------------------
-- Build the Hsc static command line opts
-build_hsc_opts :: IO [String]
-build_hsc_opts = do
- opt_C_ <- getStaticOpts opt_C -- misc hsc opts
+buildStaticHscOpts :: IO [String]
+buildStaticHscOpts = do
- -- warnings
- warn_level <- readIORef warning_opt
- let warn_opts = case warn_level of
- W_default -> standardWarnings
- W_ -> minusWOpts
- W_all -> minusWallOpts
- W_not -> []
+ opt_C_ <- getStaticOpts v_Opt_C -- misc hsc opts from the command line
-- optimisation
- minus_o <- readIORef opt_level
- optimisation_opts <-
+ minus_o <- readIORef v_OptLevel
+ let optimisation_opts =
case minus_o of
0 -> hsc_minusNoO_flags
1 -> hsc_minusO_flags
_ -> error "unknown opt level"
-- ToDo: -Ofile
- -- STG passes
- ways_ <- readIORef ways
- let stg_massage | WayProf `elem` ways_ = "-fmassage-stg-for-profiling"
- | otherwise = ""
-
- stg_stats <- readIORef opt_StgStats
- let stg_stats_flag | stg_stats = "-dstg-stats"
- | otherwise = ""
-
- let stg_opts = [ stg_massage, stg_stats_flag, "-flet-no-escape" ]
- -- let-no-escape always on for now
-
-- take into account -fno-* flags by removing the equivalent -f*
-- flag from our list.
- anti_flags <- getStaticOpts anti_opt_C
- let basic_opts = opt_C_ ++ warn_opts ++ optimisation_opts ++ stg_opts
+ anti_flags <- getStaticOpts v_Anti_opt_C
+ let basic_opts = opt_C_ ++ optimisation_opts
filtered_opts = filter (`notElem` anti_flags) basic_opts
- verb <- is_verbose
- let hi_vers = "-fhi-version="++cProjectVersionInt
-
- static <- (do s <- readIORef static; if s then return "-static" else return "")
+ static <- (do s <- readIORef v_Static; if s then return "-static"
+ else return "")
- l <- readIORef hsc_lang
- let lang = case l of
- HscC -> "-olang=C"
- HscAsm -> "-olang=asm"
- HscJava -> "-olang=java"
+ return ( static : filtered_opts )
- -- get hi-file suffix
- hisuf <- readIORef hi_suf
-
- -- hi-suffix for packages depends on the build tag.
- package_hisuf <-
- do tag <- readIORef build_tag
- if null tag
- then return "hi"
- else return (tag ++ "_hi")
-
- import_dirs <- readIORef import_paths
- package_import_dirs <- getPackageImportPath
-
- let hi_map = "-himap=" ++
- makeHiMap import_dirs hisuf
- package_import_dirs package_hisuf
- split_marker
-
- hi_map_sep = "-himap-sep=" ++ [split_marker]
-
- return
- (
- filtered_opts
- ++ [ hi_vers, static, verb, lang, hi_map, hi_map_sep ]
- )
-
-makeHiMap
- (import_dirs :: [String])
- (hi_suffix :: String)
- (package_import_dirs :: [String])
- (package_hi_suffix :: String)
- (split_marker :: Char)
- = foldr (add_dir hi_suffix)
- (foldr (add_dir package_hi_suffix) "" package_import_dirs)
- import_dirs
- where
- add_dir hisuf dir str = dir ++ "%." ++ hisuf ++ split_marker : str
+-----------------------------------------------------------------------------
+-- Via-C compilation stuff
+
+-- flags returned are: ( all C compilations
+-- , registerised HC compilations
+-- )
+
+machdepCCOpts
+ | prefixMatch "alpha" cTARGETPLATFORM
+ = return ( ["-static", "-Xlinker -noprefix_recognition"], [] )
+
+ | prefixMatch "hppa" cTARGETPLATFORM
+ -- ___HPUX_SOURCE, not _HPUX_SOURCE, is #defined if -ansi!
+ -- (very nice, but too bad the HP /usr/include files don't agree.)
+ = return ( ["-static", "-D_HPUX_SOURCE"], [] )
+
+ | prefixMatch "m68k" cTARGETPLATFORM
+ -- -fno-defer-pop : for the .hc files, we want all the pushing/
+ -- popping of args to routines to be explicit; if we let things
+ -- be deferred 'til after an STGJUMP, imminent death is certain!
+ --
+ -- -fomit-frame-pointer : *don't*
+ -- It's better to have a6 completely tied up being a frame pointer
+ -- rather than let GCC pick random things to do with it.
+ -- (If we want to steal a6, then we would try to do things
+ -- as on iX86, where we *do* steal the frame pointer [%ebp].)
+ = return ( [], ["-fno-defer-pop", "-fno-omit-frame-pointer"] )
+
+ | prefixMatch "i386" cTARGETPLATFORM
+ -- -fno-defer-pop : basically the same game as for m68k
+ --
+ -- -fomit-frame-pointer : *must* in .hc files; because we're stealing
+ -- the fp (%ebp) for our register maps.
+ = do n_regs <- dynFlag stolen_x86_regs
+ sta <- readIORef v_Static
+ return ( [ if sta then "-DDONT_WANT_WIN32_DLL_SUPPORT" else "",
+ if suffixMatch "mingw32" cTARGETPLATFORM then "-mno-cygwin" else "" ],
+ [ "-fno-defer-pop", "-fomit-frame-pointer",
+ "-DSTOLEN_X86_REGS="++show n_regs ]
+ )
+
+ | prefixMatch "mips" cTARGETPLATFORM
+ = return ( ["-static"], [] )
+
+ | prefixMatch "powerpc" cTARGETPLATFORM || prefixMatch "rs6000" cTARGETPLATFORM
+ = return ( ["-static"], ["-finhibit-size-directive"] )
+
+ | otherwise
+ = return ( [], [] )
+
+
+
+addOpt_L a = updDynFlags (\s -> s{opt_L = a : opt_L s})
+addOpt_P a = updDynFlags (\s -> s{opt_P = a : opt_P s})
+addOpt_c a = updDynFlags (\s -> s{opt_c = a : opt_c s})
+addOpt_a a = updDynFlags (\s -> s{opt_a = a : opt_a s})
+addOpt_m a = updDynFlags (\s -> s{opt_m = a : opt_m s})
+
+addCmdlineHCInclude a = updDynFlags (\s -> s{cmdlineHcIncludes = a : cmdlineHcIncludes s})
+
+getOpts :: (DynFlags -> [a]) -> IO [a]
+ -- We add to the options from the front, so we need to reverse the list
+getOpts opts = dynFlag opts >>= return . reverse
+
+-- we can only change HscC to HscAsm and vice-versa with dynamic flags
+-- (-fvia-C and -fasm).
+-- NB: we can also set the new lang to ILX, via -filx. I hope this is right
+setLang l = updDynFlags (\ dfs -> case hscLang dfs of
+ HscC -> dfs{ hscLang = l }
+ HscAsm -> dfs{ hscLang = l }
+ HscILX -> dfs{ hscLang = l }
+ _ -> dfs)
+
+setVerbosity "" = updDynFlags (\dfs -> dfs{ verbosity = 3 })
+setVerbosity n
+ | all isDigit n = updDynFlags (\dfs -> dfs{ verbosity = read n })
+ | otherwise = throwDyn (UsageError "can't parse verbosity flag (-v<n>)")
+
+getVerbFlag = do
+ verb <- dynFlag verbosity
+ if verb >= 3 then return "-v" else return ""