{-# OPTIONS -#include "hschooks.h" #-}
-----------------------------------------------------------------------------
--- $Id: DriverFlags.hs,v 1.41 2001/01/28 17:15:33 simonmar Exp $
+-- $Id: DriverFlags.hs,v 1.67 2001/08/31 13:51:45 sewardj Exp $
--
-- Driver flags
--
module DriverFlags (
processArgs, OptKind(..), static_flags, dynamic_flags,
- v_InitDynFlags, v_DynFlags, getDynFlags, dynFlag,
+ getDynFlags, dynFlag,
getOpts, getVerbFlag, addCmdlineHCInclude,
buildStaticHscOpts,
- runSomething,
machdepCCOpts
) where
#include "HsVersions.h"
+#include "../includes/config.h"
-import PackageMaintenance
import DriverState
import DriverUtil
-import TmpFiles ( v_TmpDir )
+import SysTools ( setTmpDir, setPgm, setDryRun, showGhcUsage )
import CmdLineOpts
import Config
import Util
import Exception
import IOExts
+import System ( exitWith, ExitCode(..) )
import IO
import Maybe
import Monad
-import System
import Char
-----------------------------------------------------------------------------
| 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
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],
+ | (pat,k) <- spec,
+ Just rest <- [my_prefix_match pat arg],
arg_ok k rest arg ]
of
[] -> Nothing
static_flags =
[ ------- help -------------------------------------------------------
- ( "?" , NoArg long_usage)
- , ( "-help" , NoArg long_usage)
+ ( "?" , NoArg showGhcUsage)
+ , ( "-help" , NoArg showGhcUsage)
------- version ----------------------------------------------------
exitWith ExitSuccess))
------- verbosity ----------------------------------------------------
- , ( "n" , NoArg (writeIORef v_Dry_run True) )
+ , ( "n" , NoArg setDryRun )
+
+ ------- GHCi -------------------------------------------------------
+ , ( "ignore-dot-ghci", NoArg (writeIORef v_Read_DotGHCi False) )
+ , ( "read-dot-ghci" , NoArg (writeIORef v_Read_DotGHCi True) )
------- recompilation checker --------------------------------------
, ( "recomp" , NoArg (writeIORef v_Recomp True) )
, ( "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") )
, ( "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) )
- , ( "tmpdir" , HasArg (writeIORef v_TmpDir . (++ "/")) )
- , ( "ohi" , HasArg (\s -> case s of
- "-" -> writeIORef v_Hi_on_stdout True
- _ -> writeIORef v_Output_hi (Just s)) )
+ , ( "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 v_Keep_hc_files True) )
------- Packages ----------------------------------------------------
, ( "package-name" , HasArg (\s -> add v_Opt_C ("-inpackage="++s)) )
+ , ( "package-conf" , HasArg (readPackageConf) )
, ( "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 v_Pgm_L) )
- , ( "pgmP" , HasArg (writeIORef v_Pgm_P) )
- , ( "pgmc" , HasArg (writeIORef v_Pgm_c) )
- , ( "pgmm" , HasArg (writeIORef v_Pgm_m) )
- , ( "pgms" , HasArg (writeIORef v_Pgm_s) )
- , ( "pgma" , HasArg (writeIORef v_Pgm_a) )
- , ( "pgml" , HasArg (writeIORef v_Pgm_l) )
+ , ( "pgm" , HasArg setPgm )
, ( "optdep" , HasArg (add v_Opt_dep) )
, ( "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) )
, ( "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)) )
, ( "f", AnySuffixPred (isStaticHscFlag) (add v_Opt_C) )
]
------------------------------------------------------------------------------
--- parse the dynamic arguments
-
--- v_InitDynFlags
--- is the "baseline" dynamic flags, initialised from
--- the defaults and command line options, and updated by the
--- ':s' command in GHCi.
---
--- v_DynFlags
--- is the dynamic flags for the current compilation. It is reset
--- to the value of v_InitDynFlags before each compilation, then
--- updated by reading any OPTIONS pragma in the current module.
-
-GLOBAL_VAR(v_InitDynFlags, defaultDynFlags, DynFlags)
-GLOBAL_VAR(v_DynFlags, defaultDynFlags, DynFlags)
-
-updDynFlags f = do
- dfs <- readIORef v_DynFlags
- writeIORef v_DynFlags (f dfs)
-
-getDynFlags :: IO DynFlags
-getDynFlags = readIORef v_DynFlags
-
-dynFlag :: (DynFlags -> a) -> IO a
-dynFlag f = do dflags <- readIORef v_DynFlags; return (f dflags)
-
-setDynFlag f = updDynFlags (\dfs -> dfs{ flags = f : flags dfs })
-unSetDynFlag f = updDynFlags (\dfs -> dfs{ flags = filter (/= f) (flags dfs) })
-
-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})
-
- -- we add to the options from the front, so we need to reverse the list
-getOpts :: (DynFlags -> [a]) -> IO [a]
-getOpts opts = dynFlag opts >>= return . reverse
-
--- we can only change HscC to HscAsm and vice-versa with dynamic flags
--- (-fvia-C and -fasm).
-setLang l = do
- dfs <- readIORef v_DynFlags
- case hscLang dfs of
- HscC -> writeIORef v_DynFlags dfs{ hscLang = l }
- HscAsm -> writeIORef v_DynFlags dfs{ hscLang = l }
- _ -> return ()
-
-setVerbosityAtLeast n =
- updDynFlags (\dfs -> if verbosity dfs < n
- then dfs{ verbosity = n }
- else dfs)
-
-setVerbosity "" = updDynFlags (\dfs -> dfs{ verbosity = 3 })
-setVerbosity n
- | all isDigit n = updDynFlags (\dfs -> dfs{ verbosity = read n })
- | otherwise = throwDyn (OtherError "can't parse verbosity flag (-v<n>)")
-
-getVerbFlag = do
- verb <- dynFlag verbosity
- if verb >= 3 then return "-v" else return ""
-
dynamic_flags = [
( "cpp", NoArg (updDynFlags (\s -> s{ cppFlag = True })) )
, ( "optc", HasArg (addOpt_c) )
, ( "optm", HasArg (addOpt_m) )
, ( "opta", HasArg (addOpt_a) )
+#ifdef ILX
+ , ( "optI", HasArg (addOpt_I) )
+ , ( "opti", HasArg (addOpt_i) )
+#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_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 v_StgStats True) )
, ( "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) )
, ( "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) )
+ , ( "filx", NoArg (setLang HscILX) )
+ , ( "fno-code", NoArg (setLang HscNothing) )
-- "active negatives"
, ( "fno-implicit-prelude", NoArg (setDynFlag Opt_NoImplicitPrelude) )
( "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)
| 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
return ( static : filtered_opts )
-----------------------------------------------------------------------------
--- Running an external program
-
--- sigh, here because both DriverMkDepend & DriverPipeline need it.
-
-runSomething phase_name cmd
- = do
- verb <- dynFlag verbosity
- when (verb >= 2) $ hPutStrLn stderr ("*** " ++ phase_name)
- when (verb >= 3) $ hPutStrLn stderr cmd
- hFlush stderr
-
- -- test for -n flag
- n <- readIORef v_Dry_run
- unless n $ do
-
- -- and run it!
- exit_code <- kludgedSystem cmd phase_name
-
- if exit_code /= ExitSuccess
- then throwDyn (PhaseFailed phase_name exit_code)
- else do when (verb >= 3) (hPutStr stderr "\n")
- return ()
-
------------------------------------------------------------------------------
-- Via-C compilation stuff
-- flags returned are: ( all C compilations
machdepCCOpts
| prefixMatch "alpha" cTARGETPLATFORM
- = return ( ["-static"], [] )
+ = return ( ["-static", "-Xlinker -noprefix_recognition"], [] )
| prefixMatch "hppa" cTARGETPLATFORM
-- ___HPUX_SOURCE, not _HPUX_SOURCE, is #defined if -ansi!
)
| prefixMatch "mips" cTARGETPLATFORM
- = return ( ["static"], [] )
+ = return ( ["-static"], [] )
+
+ | prefixMatch "sparc" cTARGETPLATFORM
+ = return ( [], ["-w"] )
| prefixMatch "powerpc" cTARGETPLATFORM || prefixMatch "rs6000" cTARGETPLATFORM
- = return ( ["static"], ["-finhibit-size-directive"] )
+ = 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})
+#ifdef ILX
+addOpt_I a = updDynFlags (\s -> s{opt_I = a : opt_I s})
+addOpt_i a = updDynFlags (\s -> s{opt_i = a : opt_i s})
+#endif
+
+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). We can also set the new lang to ILX, via -filx.
+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 ""