# 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
INSTALL_SCRIPT = $(INSTALL) -m 755
INSTALL_SHLIB = $(INSTALL) -m 755
INSTALL_DATA = $(INSTALL) -m 644
+INSTALL_MAN = $(INSTALL) -m 644
INSTALL_DIR = $(MKDIRHIER)
# -----------------------------------------------------------------------------
# GTK+
GTK_CONFIG = @GTK_CONFIG@
-# PAPI
-USE_PAPI = @USE_PAPI@
-
#-----------------------------------------------------------------------------
# DocBook XML stuff