diff options
| author | Simon Marlow <simonmar@microsoft.com> | 2006-11-20 14:36:57 +0000 |
|---|---|---|
| committer | Simon Marlow <simonmar@microsoft.com> | 2006-11-20 14:36:57 +0000 |
| commit | e4e7b37c7ed6b2cd39c34c30f7dcf9369a562496 (patch) | |
| tree | 0b3807ba6859220a53ba9e00823041d094dc855e /mk | |
| parent | bed7074cda231f30aec19e5c69785719d770aca4 (diff) | |
| download | haskell-e4e7b37c7ed6b2cd39c34c30f7dcf9369a562496.tar.gz | |
reorganise PAPI configuration: off by default, even if library is found
Add GhcRtsWithPapi=YES to mk/build.mk to turn it on
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/config.mk.in | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 9420663263..67875e1eda 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -431,6 +431,11 @@ GhcRtsCcOpts=-fomit-frame-pointer # Include the front panel code? Needs GTK+. GhcRtsWithFrontPanel = NO +# Include support for CPU performance counters via the PAPI library in the RTS? +# (PAPI: http://icl.cs.utk.edu/papi/) +GhcRtsWithPapi = NO +HavePapi = @HavePapi@ + ################################################################################ # # nofib @@ -987,9 +992,6 @@ UNAME = uname # GTK+ GTK_CONFIG = @GTK_CONFIG@ -# PAPI -USE_PAPI = @USE_PAPI@ - #----------------------------------------------------------------------------- # DocBook XML stuff |