diff options
| -rw-r--r-- | CONTRIBUTING.md | 17 | ||||
| -rw-r--r-- | PROFILING | 6 |
2 files changed, 17 insertions, 6 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 -------- diff --git a/PROFILING b/PROFILING deleted file mode 100644 index 73e2dc5c2..000000000 --- a/PROFILING +++ /dev/null @@ -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 |