diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-12-10 22:29:30 +0100 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-25 17:07:41 +0100 |
commit | af2742a9ccfacc033b060eea067130997539ce10 (patch) | |
tree | 45b4420cc914844954142f91c7baeef38a94b24d /CONTRIBUTING.md | |
parent | ffb0b7c6ce9d92254a743d45373d2c0ec9049cc5 (diff) |
Removed PROFILING, added profiling info to CONTRIBUTING.md.
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index d9c95702e..1ad400b3a 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -193,6 +193,23 @@ placed in the source directory): :set -XOverloadedStrings ``` +Profiling +--------- + +To use the GHC profiler with cabal: + + cabal clean + cabal install --enable-library-profiling --enable-executable-profiling + pandoc +RTS -p -RTS [file]... + less pandoc.prof + +With stack: + + stack clean + stack install --profile + pandoc +RTS -p -RTS [file]... + less pandoc.prof + The code -------- |