search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
54 stars 123 forks source link

Documentation: additional necessary command on Apple Silicon Install #361

Closed jlefkoff closed 1 year ago

jlefkoff commented 1 year ago

When installing for an M2 Mac, homebrew will not automatically install as x86_64 unless you specify it using the arch -x86_64 command. This is outlined here. Adding this to the front of the homebrew install will make it install at /usr/local/bin as intended.

kim-em commented 1 year ago

@jlefkoff, I think on the contrary no special treatment is needed at all, and you can just follow the standard instructions whether you are on Apple Silicon or Intel.

I'll close this, but please ping me on leanprover.zulipchat.com, or here, if I am wrong.