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

diff --git a/rts/Makefile b/rts/Makefile
index a17eb2a..6fe6069 100644 (file)
--- 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