Skip to content

Commit

Permalink
Update homebrew.md
Browse files Browse the repository at this point in the history
apple silicon no longer needs special treatment
  • Loading branch information
sjunges committed Sep 3, 2024
1 parent 0e5e094 commit 299e7a3
Showing 1 changed file with 0 additions and 21 deletions.
21 changes: 0 additions & 21 deletions documentation/obtain-storm/homebrew.md
Original file line number Diff line number Diff line change
Expand Up @@ -38,24 +38,3 @@ $ storm

and continue with the guide on how to [run Storm]({{ '/documentation/usage/running-storm.html' | relative_url }}).

### Additional steps for ARM-based Apple Silicon CPUs
For ARM-based Apple Silicon CPUs, installing Storm currently requires a homebrew installation that uses default x86 installation paths. One valid executable location would be ```/usr/local/bin/brew```.
See the [homebrew section of this page](apple-silicon.html#homebrew) for further information.

You have to enable x86 emulation when invoking homebrew:
```console
$ export X86_BREW=/usr/local/bin/brew # change path if necessary.
$ $X86_BREW tap moves-rwth/storm
$ arch -x86_64 $X86_BREW install stormchecker
```
After the installation step, you should be able to invoke `storm` as mentioned above. It might be necessary to specify the path of the executable using
```console
$ $($X86_BREW --prefix stormchecker)/bin/storm
```
In this case we recommend adding the corresponding path to your `$PATH` environment variable using
```console
$ export PATH=$PATH:$($X86_BREW --prefix stormchecker)/bin
```

{:.alert .alert-info}
Native compilation on ARM-based systems is not yet supported. This is work in progress.

0 comments on commit 299e7a3

Please sign in to comment.