Added configure gadgets to detect Papi, and fixed build problems

[ghc-hetmet.git] / mk / config.mk.in

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 996fe6e..9420663 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -987,6 +987,9 @@ UNAME                       = uname
 # GTK+
 GTK_CONFIG = @GTK_CONFIG@
 
+# PAPI
+USE_PAPI   = @USE_PAPI@
+
 #-----------------------------------------------------------------------------
 # DocBook XML stuff