diff options
author | David Waern <david.waern@gmail.com> | 2011-10-27 00:15:03 +0200 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2011-10-27 00:15:03 +0200 |
commit | 3fb4785801a61cc591bbd49d77bf990af68bb8f3 (patch) | |
tree | d2ee5d39af35f6def26dea6ca9d6372fac80925c /src/Haddock | |
parent | b5468c4ac6ef55b1ee3bcfb33a0f79f3e066126f (diff) |
Add --print-ghc-path.
Diffstat (limited to 'src/Haddock')
-rw-r--r-- | src/Haddock/Options.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Haddock/Options.hs b/src/Haddock/Options.hs index 8cb70d00..7323a806 100644 --- a/src/Haddock/Options.hs +++ b/src/Haddock/Options.hs @@ -71,6 +71,7 @@ data Flag | Flag_OptGhc String | Flag_GhcLibDir String | Flag_GhcVersion + | Flag_PrintGhcPath | Flag_PrintGhcLibDir | Flag_NoWarnings | Flag_UseUnicode @@ -147,6 +148,8 @@ options backwardsCompat = "option to be forwarded to GHC", Option [] ["ghc-version"] (NoArg Flag_GhcVersion) "output GHC version in numeric format", + Option [] ["print-ghc-path"] (NoArg Flag_PrintGhcPath) + "output path to GHC binary", Option [] ["print-ghc-libdir"] (NoArg Flag_PrintGhcLibDir) "output GHC lib dir", Option ['w'] ["no-warnings"] (NoArg Flag_NoWarnings) "turn off all warnings", |