diff options
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/config.mk.in | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index c97f5517c3..90579fbec2 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -66,9 +66,12 @@ GhcHcOpts=-Rghc-timing # override options from $(GhcHcOpts). # # See Note [Stage number in build variables]. +# +# -haddock is needed so the GHCi :doc command can find docs +# in the .hi-files for the ghc library GhcStage1HcOpts= -GhcStage2HcOpts=-O2 -GhcStage3HcOpts=-O2 +GhcStage2HcOpts=-O2 -haddock +GhcStage3HcOpts=-O2 -haddock # Note [Stage number in build variables]. |