Removed PROFILING, added profiling info to CONTRIBUTING.md.

This commit is contained in:
John MacFarlane 2016-12-10 22:29:30 +01:00
parent ffb0b7c6ce
commit af2742a9cc
2 changed files with 17 additions and 6 deletions

View file

@ -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
--------

View file

@ -1,6 +0,0 @@
To use the GHC profiler:
cabal clean
cabal install --enable-library-profiling --enable-executable-profiling
pandoc +RTS -p -RTS [file]...
less pandoc.prof