ACT Homebrew Tap

Instructions for installing Homebrew are available on the Homebrew website.

Installing this tap

brew tap asyncvlsi/tap

Installing ACT

This tap offers two options to install ACT:

• actflow installs the entire suite of tools
• act-lang installs only ACT itself and the standard library

Follow the instructions in the respective sections below to install the desired option.

Installing actflow

Once the tap is installed, run:

brew install --HEAD actflow

In your shell profile, set the ACT_HOME environment variable to the installation path:

export ACT_HOME=/opt/homebrew/opt/actflow

If you need to install the latest version of act and it has not yet been merged into the actflow repository, use the with-newest-act option:

brew install --HEAD --with-newest-act actflow

Installing act-lang

Once the tap is installed, run:

brew install --HEAD act-lang

In your shell profile, set the ACT_HOME environment variable to the installation path:

export ACT_HOME=/opt/homebrew/opt/act-lang

Upgrading ACT

Run the following, replacing <OPTION> with either actflow or act-lang:

brew upgrade --fetch-HEAD <OPTION>