-----------------------------------------------------------------------------
--- $Id: DriverPhases.hs,v 1.20 2002/07/05 16:15:14 sof Exp $
+-- $Id: DriverPhases.hs,v 1.26 2003/06/05 10:11:22 simonmar Exp $
--
-- GHC Driver
--
module DriverPhases (
Phase(..),
+ happensBefore,
startPhase, -- :: String -> Phase
phaseInputExt, -- :: Phase -> String
haskellish_file, haskellish_suffix,
haskellish_src_file, haskellish_src_suffix,
- hsbootish_file, hsbootish_suffix,
objish_file, objish_suffix,
cish_file, cish_suffix,
isExtCore_file, extcoreish_suffix,
-}
data Phase
- = MkDependHS -- haskell dependency generation
- | Unlit
+ = Unlit
| Cpp
| HsPp
| Hsc
- | HsBoot
| Cc
| HCc -- Haskellised C (as opposed to vanilla C) compilation
| Mangle -- assembly mangling, now done by a separate script.
#endif
deriving (Eq, Show)
+-- Partial ordering on phases: we want to know which phases will occur before
+-- which others. This is used for sanity checking, to ensure that the
+-- pipeline will stop at some point (see DriverPipeline.runPipeline).
+x `happensBefore` y
+ | x `elem` haskell_pipe = y `elem` tail (dropWhile (/= x) haskell_pipe)
+ | x `elem` c_pipe = y `elem` tail (dropWhile (/= x) c_pipe)
+ | otherwise = False
+
+haskell_pipe = [Unlit,Cpp,HsPp,Hsc,HCc,Mangle,SplitMangle,As,SplitAs,Ln]
+c_pipe = [Cc,As,Ln]
+
-- the first compilation phase for a given file is determined
-- by its suffix.
startPhase "lhs" = Unlit
startPhase "hscpp" = HsPp
startPhase "hspp" = Hsc
startPhase "hcr" = Hsc
-startPhase "hs-boot" = HsBoot
startPhase "hc" = HCc
startPhase "c" = Cc
startPhase "cpp" = Cc
phaseInputExt As = "s"
phaseInputExt SplitAs = "split_s" -- not really generated
phaseInputExt Ln = "o"
-phaseInputExt MkDependHS = "dep"
-phaseInputExt HsBoot = "hs-boot"
#ifdef ILX
phaseInputExt Ilx2Il = "ilx"
phaseInputExt Ilasm = "il"
haskellish_suffix = (`elem` [ "hs", "lhs", "hspp", "hscpp", "hcr", "hc", "raw_s" ])
haskellish_src_suffix = (`elem` [ "hs", "lhs", "hspp", "hscpp", "hcr"])
cish_suffix = (`elem` [ "c", "cpp", "C", "cc", "cxx", "s", "S" ])
-hsbootish_suffix = (`elem` [ "hs-boot" ])
extcoreish_suffix = (`elem` [ "hcr" ])
+-- Use the appropriate suffix for the system on which
+-- the GHC-compiled code will run
#if mingw32_TARGET_OS || cygwin32_TARGET_OS
objish_suffix = (`elem` [ "o", "O", "obj", "OBJ" ])
#else
haskellish_file = haskellish_suffix . getFileSuffix
haskellish_src_file = haskellish_src_suffix . getFileSuffix
cish_file = cish_suffix . getFileSuffix
-objish_file = objish_suffix . getFileSuffix
-hsbootish_file = hsbootish_suffix . getFileSuffix
-
isExtCore_file = extcoreish_suffix . getFileSuffix
+objish_file = objish_suffix . getFileSuffix
isSourceFile :: FilePath -> Bool
isSourceFile f =
- haskellish_src_file f ||
+ haskellish_file f ||
cish_file f