diff options
| author | 3gg <3gg@shellblade.net> | 2025-06-19 11:48:18 -0700 |
|---|---|---|
| committer | 3gg <3gg@shellblade.net> | 2025-06-19 11:48:18 -0700 |
| commit | 3299835bfebe8527cfa8ee8137c3708dccae5baa (patch) | |
| tree | 3d6981a3e472bc4459df94a5486cea32123a638a | |
| parent | da60a05252d6f6e6fdcf1a392078725615e7ab1f (diff) | |
Add instructions for profiling
| -rw-r--r-- | .gitignore | 3 | ||||
| -rw-r--r-- | README.md | 17 |
2 files changed, 20 insertions, 0 deletions
| @@ -1,3 +1,6 @@ | |||
| 1 | *.eventlog* | ||
| 2 | *.hp | ||
| 3 | cabal.project.local | ||
| 1 | demos/pong/dist/ | 4 | demos/pong/dist/ |
| 2 | demos/pong/pong | 5 | demos/pong/pong |
| 3 | dist/ | 6 | dist/ |
| @@ -22,6 +22,23 @@ Run a demo: | |||
| 22 | $ cabal run pong | 22 | $ cabal run pong |
| 23 | ``` | 23 | ``` |
| 24 | 24 | ||
| 25 | Profiling | ||
| 26 | --------- | ||
| 27 | |||
| 28 | Build with profiling enabled: | ||
| 29 | |||
| 30 | ``` | ||
| 31 | cabal clean | ||
| 32 | cabal configure --enable-profiling | ||
| 33 | cabal build | ||
| 34 | ``` | ||
| 35 | |||
| 36 | Then run to collect statistics (below is just an example): | ||
| 37 | |||
| 38 | ``` | ||
| 39 | cabal run balls -- +RTS -hc -l -sstderr | ||
| 40 | ``` | ||
| 41 | |||
| 25 | Features | 42 | Features |
| 26 | -------- | 43 | -------- |
| 27 | 44 | ||