Skip to content
GitLab
Explore
Sign in
Register
jberryman
GHC
Repository
ghc
configure.ac
Find file
Blame
History
Permalink
reorganise PAPI configuration: off by default, even if library is found
· e4e7b37c
Simon Marlow
authored
Nov 20, 2006
Add GhcRtsWithPapi=YES to mk/build.mk to turn it on
e4e7b37c