From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 22 Jul 2008 14:13:27 +0000 (+0000)
Subject: set PAPI_LIB_DIR="" when we don't have PAPI (clean up package.conf)
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=d16f69bd77467961e80e27caff5c5bd686afa90b

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
--- 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