diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2014-08-05 17:34:26 +0100 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2014-08-05 17:34:26 +0100 |
| commit | 97b5fa2b7b9c8bd07d0be5068b2f031b58e8fc56 (patch) | |
| tree | ec74241ece4f7e64a8cb8a2cc324d710acfc06dd | |
| parent | d59fec2c9551b5662a3507c0011e32a09a9c118f (diff) | |
If GhcProfiled, also build Haddock profiled.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| -rw-r--r-- | ghc.mk | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -8,6 +8,12 @@ utils/haddock_dist_INSTALL_INPLACE = YES utils/haddock_dist_INSTALL_SHELL_WRAPPER_NAME = haddock-ghc-$(ProjectVersion) utils/haddock_dist_PROGNAME = haddock +ifeq "$(GhcProfiled)" "YES" +utils/haddock_dist_PROGRAM_WAY = p +utils/haddock_dist_WAY = p +utils/haddock/dist/build/tmp/$(utils/haddock_dist_PROG) : $(utils/haddock_dist_p_LIB) +endif + ifeq "$(HADDOCK_DOCS)" "NO" utils/haddock_dist_NOT_NEEDED = YES endif |