From c75086f7805b52a80a8e70ff4f5ba75e33b8ad25 Mon Sep 17 00:00:00 2001 From: Neil Smith Date: Sat, 6 Oct 2018 21:16:40 +0100 Subject: [PATCH] Updated README with profiling informaiton --- README.html | 4 +++- README.md | 6 +++++- 2 files changed, 8 insertions(+), 2 deletions(-) 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 -- 2.34.1