projects
/
advent-of-code-19.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
a9dd0c4
)
Updated profiling information
author
Neil Smith
<neil.git@njae.me.uk>
Thu, 2 Jan 2020 17:46:40 +0000
(17:46 +0000)
committer
Neil Smith
<neil.git@njae.me.uk>
Thu, 2 Jan 2020 17:46:40 +0000
(17:46 +0000)
README.html
patch
|
blob
|
history
README.md
patch
|
blob
|
history
diff --git
a/README.html
b/README.html
index dd8744b070a5ed6d51a9133c11a0a9e8dc581d16..916c577914204de7221867eca95a26dfc1028e87 100644
(file)
--- a/
README.html
+++ b/
README.html
@@
-43,9
+43,9
@@
<pre><code>stack ghci advent01:exe:advent01</code></pre>
<p>if the first form is ambiguous.</p>
<p>To profile, use</p>
<pre><code>stack ghci advent01:exe:advent01</code></pre>
<p>if the first form is ambiguous.</p>
<p>To profile, use</p>
-<pre><code>stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts"</code></pre>
+<pre><code>stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts"
advent01
</code></pre>
<p>then run with</p>
<p>then run with</p>
-<pre><code>stack exec -- advent01 +RTS -p -hy</code></pre>
+<pre><code>stack exec --
profile --
advent01 +RTS -p -hy</code></pre>
<p>Generate the profile graph with</p>
<pre><code>stack exec hp2ps advent01.hp</code></pre>
<h1 id="packages">Packages</h1>
<p>Generate the profile graph with</p>
<pre><code>stack exec hp2ps advent01.hp</code></pre>
<h1 id="packages">Packages</h1>
diff --git
a/README.md
b/README.md
index 3c08dac9befd9dbc2144d01b1be1d87192b1ff4c..ba5265bc3c9b7d778e1c56d56fc8307e6fac5f19 100644
(file)
--- a/
README.md
+++ b/
README.md
@@
-69,11
+69,11
@@
if the first form is ambiguous.
To profile, use
```
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
```
```
then run with
```
-stack exec -- advent01 +RTS -p -hy
+stack exec --
profile --
advent01 +RTS -p -hy
```
Generate the profile graph with
```
```
Generate the profile graph with
```