# 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
# GTK+
GTK_CONFIG = @GTK_CONFIG@
-# PAPI
-USE_PAPI = @USE_PAPI@
-
#-----------------------------------------------------------------------------
# DocBook XML stuff