diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2008-07-22 14:13:27 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2008-07-22 14:13:27 +0000 |
| commit | d16f69bd77467961e80e27caff5c5bd686afa90b (patch) | |
| tree | 73613fa5328d4ca2cfe4976d1fef991e3bd796a7 /rts/Makefile | |
| parent | 8ba7bea1b3993df0cfe9baa02fa74f3a356afffa (diff) | |
| download | haskell-d16f69bd77467961e80e27caff5c5bd686afa90b.tar.gz | |
set PAPI_LIB_DIR="" when we don't have PAPI (clean up package.conf)
Diffstat (limited to 'rts/Makefile')
| -rw-r--r-- | rts/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/rts/Makefile b/rts/Makefile index a17eb2ac4b..6fe606943e 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 |