reorganise PAPI configuration: off by default, even if library is found
authorSimon Marlow <simonmar@microsoft.com>
Mon, 20 Nov 2006 14:36:57 +0000 (14:36 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Mon, 20 Nov 2006 14:36:57 +0000 (14:36 +0000)
commite4e7b37c7ed6b2cd39c34c30f7dcf9369a562496
tree0b3807ba6859220a53ba9e00823041d094dc855e
parentbed7074cda231f30aec19e5c69785719d770aca4
reorganise PAPI configuration: off by default, even if library is found
Add GhcRtsWithPapi=YES to mk/build.mk to turn it on
configure.ac
mk/config.mk.in
rts/Makefile