From: Neil Smith Date: Sat, 6 Oct 2018 20:16:40 +0000 (+0100) Subject: Updated README with profiling informaiton X-Git-Url: https://git.njae.me.uk/?a=commitdiff_plain;ds=inline;h=c75086f7805b52a80a8e70ff4f5ba75e33b8ad25;p=summerofcode2018soln.git Updated README with profiling informaiton --- diff --git a/README.html b/README.html index 779917d..12def06 100644 --- a/README.html +++ b/README.html @@ -39,9 +39,11 @@

Run interactively with

stack ghci summerofcode2018soln:exe:task1

To profile, use

-
stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts" task1
+
stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts"

then run with

stack exec -- task1 +RTS -p -hy
+

Make the profile graph visible with

+
/usr/lib/ghc/bin/hp2ps task1.hp

Packages

Stack is using the 12.9-lts resolver for packages, so make sure you read the correct documentation for the packages included in it.

When you use a new package, use

diff --git a/README.md b/README.md index 6dad2b8..63ac705 100644 --- a/README.md +++ b/README.md @@ -60,12 +60,16 @@ stack ghci summerofcode2018soln:exe:task1 To profile, use ``` -stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts" task1 +stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts" ``` then run with ``` stack exec -- task1 +RTS -p -hy ``` +Make the profile graph visible with +``` +/usr/lib/ghc/bin/hp2ps task1.hp +``` ## Packages