diff options
| author | David Waern <david.waern@gmail.com> | 2010-05-14 17:55:17 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2010-05-14 17:55:17 +0000 |
| commit | 100129fb99b4d1d077c1fb56e4426c9db2c7b934 (patch) | |
| tree | 6d543f7caed1c2bd31027e51542e6822296bbb7c /src/Haddock/Options.hs | |
| parent | ce56160566bfbde8f8e96ab9fe9c0a22e9187317 (diff) | |
Re-direct compilation output to a temporary directory
Also add a flag --no-tmp-comp-dir that can be used to get the old behaviour of
writing compilation files to GHC's output directory (default ".").
Diffstat (limited to 'src/Haddock/Options.hs')
| -rw-r--r-- | src/Haddock/Options.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Haddock/Options.hs b/src/Haddock/Options.hs index e289ab65..8b1aa4aa 100644 --- a/src/Haddock/Options.hs +++ b/src/Haddock/Options.hs @@ -93,6 +93,7 @@ data Flag | Flag_PrintGhcLibDir | Flag_NoWarnings | Flag_UseUnicode + | Flag_NoTmpCompDir deriving (Eq) @@ -164,5 +165,7 @@ options backwardsCompat = "output GHC version in numeric format", Option [] ["print-ghc-libdir"] (NoArg Flag_PrintGhcLibDir) "output GHC lib dir", - Option ['w'] ["no-warnings"] (NoArg Flag_NoWarnings) "turn off all warnings" + Option ['w'] ["no-warnings"] (NoArg Flag_NoWarnings) "turn off all warnings", + Option [] ["no-tmp-comp-dir"] (NoArg Flag_NoTmpCompDir) + "don't re-direct compilation output to a temporary directory" ] |