Merge pull request #7 from moves-rwth/sjunges-patch-1

Update homebrew.md

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.