From d16f69bd77467961e80e27caff5c5bd686afa90b Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 22 Jul 2008 14:13:27 +0000 Subject: [PATCH] set PAPI_LIB_DIR="" when we don't have PAPI (clean up package.conf) --- rts/Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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 -- 1.7.10.4