Build a profiled GHC API by default if p is in GhcLibWays

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 22c6f92..59446a9 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -247,7 +247,7 @@ GhcStage3HcOpts=-O2
 
 GhcProfiled=NO
 GhcDebugged=NO
 
 GhcProfiled=NO
 GhcDebugged=NO

-GhcLibProfiled=NO
+GhcLibProfiled=$(if $(filter p,$(GhcLibWays)),YES,NO)

 
 # Build shared and/or static libs?
 BuildSharedLibs=@BuildSharedLibs@
 
 # Build shared and/or static libs?
 BuildSharedLibs=@BuildSharedLibs@