Added configure gadgets to detect Papi, and fixed build problems
[ghc.git] / mk / config.mk.in
index 996fe6e..9420663 100644 (file)
@@ -987,6 +987,9 @@ UNAME                       = uname
 # GTK+
 GTK_CONFIG = @GTK_CONFIG@
 
+# PAPI
+USE_PAPI   = @USE_PAPI@
+
 #-----------------------------------------------------------------------------
 # DocBook XML stuff