[project @ 2001-03-12 14:06:46 by simonpj]

[ghc-hetmet.git] / ghc / compiler / main / DriverFlags.hs

diff --git a/ghc/compiler/main/DriverFlags.hs b/ghc/compiler/main/DriverFlags.hs
index fa1fa47..c503066 100644 (file)
--- a/ghc/compiler/main/DriverFlags.hs
+++ b/ghc/compiler/main/DriverFlags.hs
@@ -1,7 +1,7 @@
 {-# OPTIONS -#include "hschooks.h" #-}
 
 -----------------------------------------------------------------------------
--- $Id: DriverFlags.hs,v 1.40 2001/01/19 15:26:37 simonmar Exp $
+-- $Id: DriverFlags.hs,v 1.48 2001/03/12 14:06:47 simonpj Exp $
 --
 -- Driver flags
 --
@@ -9,14 +9,21 @@
 --
 -----------------------------------------------------------------------------
 
-module DriverFlags where
+module DriverFlags ( 
+       processArgs, OptKind(..), static_flags, dynamic_flags, 
+       v_InitDynFlags, v_DynFlags, getDynFlags, dynFlag, 
+       getOpts, getVerbFlag, addCmdlineHCInclude,
+       buildStaticHscOpts, 
+       runSomething,
+       machdepCCOpts
+  ) where
 
 #include "HsVersions.h"
 
 import PackageMaintenance
 import DriverState
 import DriverUtil
-import TmpFiles        ( v_TmpDir )
+import TmpFiles        ( v_TmpDir, kludgedSystem )
 import CmdLineOpts
 import Config
 import Util
@@ -38,7 +45,7 @@ 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.
@@ -180,10 +187,6 @@ static_flags =
   ,  ( "dppr-user-length", AnySuffix (add v_Opt_C) )
       -- rest of the debugging flags are dynamic
 
-       ------- Interface files ---------------------------------------------
-  ,  ( "hi"            , NoArg (writeIORef v_ProduceHi True) )
-  ,  ( "nohi"          , NoArg (writeIORef v_ProduceHi False) )
-
        --------- Profiling --------------------------------------------------
   ,  ( "auto-dicts"    , NoArg (add v_Opt_C "-fauto-sccs-on-dicts") )
   ,  ( "auto-all"      , NoArg (add v_Opt_C "-fauto-sccs-on-all-toplevs") )
@@ -255,12 +258,6 @@ static_flags =
   ,  ( "optl"          , HasArg (add v_Opt_l) )
   ,  ( "optdll"                , HasArg (add v_Opt_dll) )
 
-       ------ Warning opts -------------------------------------------------
-  ,  ( "W"             , NoArg (writeIORef v_Warning_opt W_) )
-  ,  ( "Wall"          , NoArg (writeIORef v_Warning_opt W_all) )
-  ,  ( "Wnot"          , NoArg (writeIORef v_Warning_opt W_not) )
-  ,  ( "w"             , NoArg (writeIORef v_Warning_opt W_not) )
-
        ----- Linker --------------------------------------------------------
   ,  ( "static"        , NoArg (writeIORef v_Static True) )
   ,  ( "dynamic"        , NoArg (writeIORef v_Static False) )
@@ -292,11 +289,6 @@ static_flags =
   ,  ( "fno-cpr"          , NoArg (writeIORef v_CPR False) )
   ,  ( "fno-cse"          , NoArg (writeIORef v_CSE False) )
 
-       -- flags that are "active negatives"
-  ,  ( "fno-prune-tydecls"     , PassFlag (add v_Opt_C) )
-  ,  ( "fno-prune-instdecls"   , PassFlag (add v_Opt_C) )
-  ,  ( "fno-pre-inlining"      , PassFlag (add v_Opt_C) )
-
        -- All other "-fno-<blah>" options cancel out "-f<blah>" on the hsc cmdline
   ,  ( "fno-",                 PrefixPred (\s -> isStaticHscFlag ("f"++s))
                                    (\s -> add v_Anti_opt_C ("-f"++s)) )
@@ -349,6 +341,7 @@ 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 = do
    dfs <- readIORef v_DynFlags
    case hscLang dfs of
@@ -416,6 +409,7 @@ dynamic_flags = [
   ,  ( "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) )
@@ -436,11 +430,20 @@ dynamic_flags = [
   ,  ( "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 -----------------------------------------------
 
   ,  ( "fasm",         AnySuffix (\_ -> setLang HscAsm) )
   ,  ( "fvia-c",       NoArg (setLang HscC) )
   ,  ( "fvia-C",       NoArg (setLang HscC) )
+#ifdef ILX
+  ,  ( "filx",         NoArg (setLang HscILX) )
+#endif
 
        -- "active negatives"
   ,  ( "fno-implicit-prelude",  NoArg (setDynFlag Opt_NoImplicitPrelude) )
@@ -470,8 +473,7 @@ fFlags = [
   ( "glasgow-exts",                    Opt_GlasgowExts ),
   ( "allow-overlapping-instances",     Opt_AllowOverlappingInstances ),
   ( "allow-undecidable-instances",     Opt_AllowUndecidableInstances ),
-  ( "fgenerics",                       Opt_Generics ),
-  ( "report-compile",                  Opt_ReportCompile )
+  ( "generics",                        Opt_Generics )
   ]
 
 isFFlag f = f `elem` (map fst fFlags)