set PAPI_LIB_DIR="" when we don't have PAPI (clean up package.conf)

d16f69bd · Simon Marlow · 8ba7bea1 · d16f69bd
Commit d16f69bd authored Jul 22, 2008 by Simon Marlow
--- a/rts/Makefile
+++ b/rts/Makefile
@@ -291,7 +291,11 @@ ifneq "$(PapiLibDirs)" ""
 SRC_LD_OPTS += -L$(PapiLibDirs)
 endif

-endif # GhcRtsWithPapi==YES
+else # GhcRtsWithPapi==YES
+
+PACKAGE_CPP_OPTS += -DPAPI_LIB_DIR=""
+
+endif

 #-----------------------------------------------------------------------------
 # make depend setup