[project @ 2001-05-08 10:58:48 by simonmar]
[ghc-hetmet.git] / ghc / compiler / main / DriverPhases.hs
1 -----------------------------------------------------------------------------
2 -- $Id: DriverPhases.hs,v 1.9 2001/05/08 10:58:48 simonmar Exp $
3 --
4 -- GHC Driver
5 --
6 -- (c) Simon Marlow 2000
7 --
8 -----------------------------------------------------------------------------
9
10 module DriverPhases (
11    Phase(..),
12    startPhase,          -- :: String -> Phase
13    phaseInputExt,       -- :: Phase -> String
14
15    haskellish_file, haskellish_suffix,
16    haskellish_src_file, haskellish_src_suffix,
17    objish_file, objish_suffix,
18    cish_file, cish_suffix
19  ) where
20
21 import DriverUtil
22
23 -----------------------------------------------------------------------------
24 -- Phases
25
26 {-
27    Phase of the           | Suffix saying | Flag saying   | (suffix of)
28    compilation system     | ``start here''| ``stop after''| output file
29    
30    literate pre-processor | .lhs          | -             | -
31    C pre-processor (opt.) | -             | -E            | -
32    Haskell compiler       | .hs           | -C, -S        | .hc, .s
33    C compiler (opt.)      | .hc or .c     | -S            | .s
34    assembler              | .s  or .S     | -c            | .o
35    linker                 | other         | -             | a.out
36 -}
37
38 data Phase 
39         = MkDependHS    -- haskell dependency generation
40         | Unlit
41         | Cpp
42         | Hsc -- ToDo: HscTargetLang
43         | Cc
44         | HCc           -- Haskellised C (as opposed to vanilla C) compilation
45         | Mangle        -- assembly mangling, now done by a separate script.
46         | SplitMangle   -- after mangler if splitting
47         | SplitAs
48         | As
49         | Ln 
50   deriving (Eq, Show)
51
52 -- the first compilation phase for a given file is determined
53 -- by its suffix.
54 startPhase "lhs"   = Unlit
55 startPhase "hs"    = Cpp
56 startPhase "hspp"  = Hsc
57 startPhase "hc"    = HCc
58 startPhase "c"     = Cc
59 startPhase "raw_s" = Mangle
60 startPhase "s"     = As
61 startPhase "S"     = As
62 startPhase "o"     = Ln
63 startPhase _       = Ln    -- all unknown file types
64
65 -- the output suffix for a given phase is uniquely determined by
66 -- the input requirements of the next phase.
67 phaseInputExt Unlit       = "lhs"
68 phaseInputExt Cpp         = "lpp"       -- intermediate only
69 phaseInputExt Hsc         = "hspp"
70 phaseInputExt HCc         = "hc"
71 phaseInputExt Cc          = "c"
72 phaseInputExt Mangle      = "raw_s"
73 phaseInputExt SplitMangle = "split_s"   -- not really generated
74 phaseInputExt As          = "s"
75 phaseInputExt SplitAs     = "split_s"   -- not really generated
76 phaseInputExt Ln          = "o"
77 phaseInputExt MkDependHS  = "dep"
78
79 haskellish_suffix     = (`elem` [ "hs", "hspp", "lhs", "hc", "raw_s" ])
80 haskellish_src_suffix = (`elem` [ "hs", "hspp", "lhs" ])
81 cish_suffix           = (`elem` [ "c", "s", "S" ])  -- maybe .cc et al.??
82
83 #if mingw32_TARGET_OS || cygwin32_TARGET_OS
84 objish_suffix     = (`elem` [ "o", "O", "obj", "OBJ" ])
85 #else
86 objish_suffix     = (`elem` [ "o" ])
87 #endif
88
89 haskellish_file     = haskellish_suffix     . getFileSuffix
90 haskellish_src_file = haskellish_src_suffix . getFileSuffix
91 cish_file           = cish_suffix           . getFileSuffix
92 objish_file         = objish_suffix         . getFileSuffix