From 09d448be7cd1dc2dd32ce632b0732d007279bf32 Mon Sep 17 00:00:00 2001 From: Neil Smith Date: Thu, 2 Jan 2020 17:46:40 +0000 Subject: [PATCH] Updated profiling information --- README.html | 4 ++-- README.md | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/README.html b/README.html index dd8744b..916c577 100644 --- a/README.html +++ b/README.html @@ -43,9 +43,9 @@
stack ghci advent01:exe:advent01

if the first form is ambiguous.

To profile, use

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

then run with

-
stack exec -- advent01 +RTS -p -hy
+
stack exec --profile -- advent01 +RTS -p -hy

Generate the profile graph with

stack exec hp2ps advent01.hp

Packages

diff --git a/README.md b/README.md index 3c08dac..ba5265b 100644 --- a/README.md +++ b/README.md @@ -69,11 +69,11 @@ if the first form is ambiguous. To profile, use ``` -stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts" +stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts" advent01 ``` then run with ``` -stack exec -- advent01 +RTS -p -hy +stack exec --profile -- advent01 +RTS -p -hy ``` Generate the profile graph with ``` -- 2.34.1