File: PhaseSpecific.hs

package info (click to toggle)
ghc 8.0.1-17
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 55,080 kB
  • ctags: 9,332
  • sloc: haskell: 363,120; ansic: 54,900; sh: 4,782; makefile: 974; perl: 542; asm: 315; python: 306; xml: 154; lisp: 7
file content (47 lines) | stat: -rw-r--r-- 1,693 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
module Options.PhaseSpecific where

import Types

phaseSpecificOptions :: [Flag]
phaseSpecificOptions =
  [ flag { flagName = "-optL⟨option⟩"
         , flagDescription = "pass ⟨option⟩ to the literate pre-processor"
         , flagType = DynamicFlag
         }
  , flag { flagName = "-optP⟨option⟩"
         , flagDescription = "pass ⟨option⟩ to cpp (with ``-cpp`` only)"
         , flagType = DynamicFlag
         }
  , flag { flagName = "-optF⟨option⟩"
         , flagDescription = "pass ⟨option⟩ to the custom pre-processor"
         , flagType = DynamicFlag
         }
  , flag { flagName = "-optc⟨option⟩"
         , flagDescription = "pass ⟨option⟩ to the C compiler"
         , flagType = DynamicFlag
         }
  , flag { flagName = "-optlo⟨option⟩"
         , flagDescription = "pass ⟨option⟩ to the LLVM optimiser"
         , flagType = DynamicFlag
         }
  , flag { flagName = "-optlc⟨option⟩"
         , flagDescription = "pass ⟨option⟩ to the LLVM compiler"
         , flagType = DynamicFlag
         }
  , flag { flagName = "-opta⟨option⟩"
         , flagDescription = "pass ⟨option⟩ to the assembler"
         , flagType = DynamicFlag
         }
  , flag { flagName = "-optl⟨option⟩"
         , flagDescription = "pass ⟨option⟩ to the linker"
         , flagType = DynamicFlag
         }
  , flag { flagName = "-optdll⟨option⟩"
         , flagDescription = "pass ⟨option⟩ to the DLL generator"
         , flagType = DynamicFlag
         }
  , flag { flagName = "-optwindres⟨option⟩"
         , flagDescription = "pass ⟨option⟩ to ``windres``."
         , flagType = DynamicFlag
         }
  ]