From 97b5fa2b7b9c8bd07d0be5068b2f031b58e8fc56 Mon Sep 17 00:00:00 2001 From: "Edward Z. Yang" Date: Tue, 5 Aug 2014 17:34:26 +0100 Subject: If GhcProfiled, also build Haddock profiled. Signed-off-by: Edward Z. Yang --- ghc.mk | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'ghc.mk') diff --git a/ghc.mk b/ghc.mk index f5628350..247c16ec 100644 --- a/ghc.mk +++ b/ghc.mk @@ -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 -- cgit v1.2.3