X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=mk%2Fconfig.mk.in;h=67875e1eda346ecc1ff1547ef3af55a4063b2322;hb=e4e7b37c7ed6b2cd39c34c30f7dcf9369a562496;hp=9420663263e222065699c8b01d664ac836264d9c;hpb=bed7074cda231f30aec19e5c69785719d770aca4;p=ghc-hetmet.git

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 9420663..67875e1 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -431,6 +431,11 @@ GhcRtsCcOpts=-fomit-frame-pointer
 # Include the front panel code?  Needs GTK+.
 GhcRtsWithFrontPanel = NO
 
+# Include support for CPU performance counters via the PAPI library in the RTS?
+# (PAPI: http://icl.cs.utk.edu/papi/)
+GhcRtsWithPapi = NO
+HavePapi = @HavePapi@
+
 ################################################################################
 #
 #		nofib
@@ -987,9 +992,6 @@ UNAME			= uname
 # GTK+
 GTK_CONFIG = @GTK_CONFIG@
 
-# PAPI
-USE_PAPI   = @USE_PAPI@
-
 #-----------------------------------------------------------------------------
 # DocBook XML stuff