Skip to content

Add PROFILE build option#2664

Merged
plajjan merged 1 commit into
mainfrom
prof
Feb 27, 2026
Merged

Add PROFILE build option#2664
plajjan merged 1 commit into
mainfrom
prof

Conversation

@plajjan

@plajjan plajjan commented Feb 27, 2026

Copy link
Copy Markdown
Contributor

Setting PROFILE=1 enables profiling options when building acton, i.e. run::

  make PROFILE=1

or specifically just the compiler (PROFILE doesn't affect anything else)

  make dist/bin/acton PROFILE=1

then run acton with -p RTS opts and compile a program as normal:

  acton examples/helloworld.act +RTS -p -RTS

You get a acton.prof which you can then analyze, for example:

  ghc-prof-flamegraph acton.prof
  open -a safari acton.svg

Setting PROFILE=1 enables profiling options when building acton, i.e. run::

  make PROFILE=1

or specifically just the compiler (PROFILE doesn't affect anything else)

  make dist/bin/acton PROFILE=1

then run acton with -p RTS opts and compile a program as normal:

  acton examples/helloworld.act +RTS -p -RTS

You get a acton.prof which you can then analyze, for example:

  ghc-prof-flamegraph acton.prof
  open -a safari acton.svg
@plajjan plajjan enabled auto-merge February 27, 2026 16:25
@plajjan plajjan merged commit 0925120 into main Feb 27, 2026
39 of 42 checks passed
@plajjan plajjan deleted the prof branch February 27, 2026 16:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant