From 3299835bfebe8527cfa8ee8137c3708dccae5baa Mon Sep 17 00:00:00 2001 From: 3gg <3gg@shellblade.net> Date: Thu, 19 Jun 2025 11:48:18 -0700 Subject: Add instructions for profiling --- README.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'README.md') 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: $ cabal run pong ``` +Profiling +--------- + +Build with profiling enabled: + +``` +cabal clean +cabal configure --enable-profiling +cabal build +``` + +Then run to collect statistics (below is just an example): + +``` +cabal run balls -- +RTS -hc -l -sstderr +``` + Features -------- -- cgit v1.2.3