+
{-# OPTIONS -fno-warn-missing-fields #-}
-----------------------------------------------------------------------------
--
-- Dynamic flags
DynFlag(..),
DynFlags(..),
- HscTarget(..),
+ HscTarget(..), isObjectTarget,
GhcMode(..), isOneShot,
GhcLink(..), isNoLink,
PackageFlag(..),
import Data.Char ( isUpper )
import System.IO ( hPutStrLn, stderr )
-#ifdef GHCI
-import Breakpoints ( BkptHandler )
-import Module ( ModuleName )
-#endif
-- -----------------------------------------------------------------------------
-- DynFlags
| Opt_SplitObjs
| Opt_StgStats
| Opt_HideAllPackages
-#if defined(GHCI) && defined(DEBUGGER)
- | Opt_Debugging
-#endif
| Opt_PrintBindResult
| Opt_Haddock
| Opt_Hpc_No_Auto
-- message output
log_action :: Severity -> SrcSpan -> PprStyle -> Message -> IO ()
-
-#ifdef GHCI
- -- breakpoint handling
- ,bkptHandler :: Maybe (BkptHandler Module)
-#endif
}
data HscTarget
| HscNothing
deriving (Eq, Show)
+-- | will this target result in an object file on the disk?
+isObjectTarget :: HscTarget -> Bool
+isObjectTarget HscC = True
+isObjectTarget HscAsm = True
+isObjectTarget _ = False
+
+-- | The 'GhcMode' tells us whether we're doing multi-module
+-- compilation (controlled via the "GHC" API) or one-shot
+-- (single-module) compilation. This makes a difference primarily to
+-- the "Finder": in one-shot mode we look for interface files for
+-- imported modules, but in multi-module mode we look for source files
+-- in order to check whether they need to be recompiled.
data GhcMode
- = BatchCompile -- | @ghc --make Main@
- | Interactive -- | @ghc --interactive@
- | OneShot -- | @ghc -c Foo.hs@
- | JustTypecheck -- | Development environemnts, refactorer, etc.
- | MkDepend
+ = CompManager -- ^ --make, GHCi, etc.
+ | OneShot -- ^ ghc -c Foo.hs
+ | MkDepend -- ^ ghc -M, see Finder for why we need this
deriving Eq
isOneShot :: GhcMode -> Bool
isOneShot OneShot = True
isOneShot _other = False
+-- | What kind of linking to do.
data GhcLink -- What to do in the link step, if there is one
- = -- Only relevant for modes
- -- DoMake and StopBefore StopLn
- NoLink -- Don't link at all
- | StaticLink -- Ordinary linker [the default]
+ = NoLink -- Don't link at all
+ | LinkBinary -- Link object code into a binary
+ | LinkInMemory -- Use the in-memory dynamic linker
| MkDLL -- Make a DLL
+ deriving Eq
isNoLink :: GhcLink -> Bool
isNoLink NoLink = True
defaultDynFlags =
DynFlags {
- ghcMode = OneShot,
- ghcLink = StaticLink,
+ ghcMode = CompManager,
+ ghcLink = LinkBinary,
coreToDo = Nothing,
stgToDo = Nothing,
hscTarget = defaultHscTarget,
packageFlags = [],
pkgDatabase = Nothing,
pkgState = panic "no package state yet: call GHC.setSessionDynFlags",
-#ifdef GHCI
- bkptHandler = Nothing,
-#endif
flags = [
Opt_ReadUserPackageConf,
------ Compiler flags -----------------------------------------------
+ , ( "fasm", AnySuffix (\_ -> setObjTarget HscAsm) )
+ , ( "fvia-c", NoArg (setObjTarget HscC) )
+ , ( "fvia-C", NoArg (setObjTarget HscC) )
+
, ( "fno-code", NoArg (setTarget HscNothing))
- , ( "fasm", AnySuffix (\_ -> setTarget HscAsm) )
- , ( "fvia-c", NoArg (setTarget HscC) )
- , ( "fvia-C", NoArg (setTarget HscC) )
+ , ( "fbyte-code", NoArg (setTarget HscInterpreted) )
+ , ( "fobject-code", NoArg (setTarget defaultHscTarget) )
, ( "fglasgow-exts", NoArg (mapM_ setDynFlag glasgowExtsFlags) )
, ( "fno-glasgow-exts", NoArg (mapM_ unSetDynFlag glasgowExtsFlags) )
( "excess-precision", Opt_ExcessPrecision ),
( "asm-mangling", Opt_DoAsmMangling ),
( "print-bind-result", Opt_PrintBindResult ),
-#if defined(GHCI) && defined(DEBUGGER)
- ( "debugging", Opt_Debugging),
-#endif
( "force-recomp", Opt_ForceRecomp ),
( "hpc-no-auto", Opt_Hpc_No_Auto )
]
where
pid = stringToPackageId p
--- we can only switch between HscC, and HscAsmm with dynamic flags
--- (-fvia-C, -fasm, -filx respectively).
-setTarget l = upd (\dfs -> case hscTarget dfs of
- HscC -> dfs{ hscTarget = l }
- HscAsm -> dfs{ hscTarget = l }
- _ -> dfs)
+-- If we're linking a binary, then only targets that produce object
+-- code are allowed (requests for other target types are ignored).
+setTarget l = upd set
+ where
+ set dfs
+ | ghcLink dfs /= LinkBinary || isObjectTarget l = dfs{ hscTarget = l }
+ | otherwise = dfs
+
+-- Changes the target only if we're compiling object code. This is
+-- used by -fasm and -fvia-C, which switch from one to the other, but
+-- not from bytecode to object-code. The idea is that -fasm/-fvia-C
+-- can be safely used in an OPTIONS_GHC pragma.
+setObjTarget l = upd set
+ where
+ set dfs
+ | isObjectTarget (hscTarget dfs) = dfs { hscTarget = l }
+ | otherwise = dfs
setOptLevel :: Int -> DynFlags -> DynFlags
setOptLevel n dflags