diff options
Diffstat (limited to 'rts')
| -rw-r--r-- | rts/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rts/Makefile b/rts/Makefile index 2b05eff5e7..08240a1212 100644 --- a/rts/Makefile +++ b/rts/Makefile @@ -179,6 +179,14 @@ EXCLUDED_SRCS += $(wildcard Vis*.c) endif #----------------------------------------------------------------------------- +# Add PAPI library if needed + +ifeq "$(USE_PAPI)" "YES" +SRC_HC_OPTS += -lpapi -optc-DUSE_PAPI +PACKAGE_CPP_OPTS += -DUSE_PAPI +endif + +#----------------------------------------------------------------------------- # make depend setup SRC_MKDEPENDC_OPTS += -I. -I../includes |