diff --git a/documentation/obtain-storm/homebrew.md b/documentation/obtain-storm/homebrew.md index 261bcda..f8d2410 100644 --- a/documentation/obtain-storm/homebrew.md +++ b/documentation/obtain-storm/homebrew.md @@ -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.