X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fconfig.mk.in;h=67875e1eda346ecc1ff1547ef3af55a4063b2322;hb=4bd1e966ffb4985f180e9728328ff7e3e7b37bb1;hp=9420663263e222065699c8b01d664ac836264d9c;hpb=14591e0d3d238a40d034fb9ddd0ae90688e007eb;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