aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
author3gg <3gg@shellblade.net>2025-06-19 11:48:18 -0700
committer3gg <3gg@shellblade.net>2025-06-19 11:48:18 -0700
commit3299835bfebe8527cfa8ee8137c3708dccae5baa (patch)
tree3d6981a3e472bc4459df94a5486cea32123a638a /README.md
parentda60a05252d6f6e6fdcf1a392078725615e7ab1f (diff)
Add instructions for profiling
Diffstat (limited to 'README.md')
-rw-r--r--README.md17
1 files changed, 17 insertions, 0 deletions
diff --git a/README.md b/README.md
index 45eb2a2..1cf42dc 100644
--- a/README.md
+++ b/README.md
@@ -22,6 +22,23 @@ Run a demo:
22$ cabal run pong 22$ cabal run pong
23``` 23```
24 24
25Profiling
26---------
27
28Build with profiling enabled:
29
30```
31cabal clean
32cabal configure --enable-profiling
33cabal build
34```
35
36Then run to collect statistics (below is just an example):
37
38```
39cabal run balls -- +RTS -hc -l -sstderr
40```
41
25Features 42Features
26-------- 43--------
27 44