search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
188 stars 49 forks source link

README incorrectly says there's no binary release for Apple Silicon #404

Closed tchajed closed 3 weeks ago

tchajed commented 8 months ago

The README says to use the "from sources" method for "Apple Silicon / M1". This is out of date; there's now a binary dmg release for arm64.

Also note that referring to "M1" is now confusing since there are M2 and M3 processors. arm64 would be a better keyword to mention.

MSoegtropIMC commented 8 months ago

Thanks for the report - this is indeed both wrong.

tchajed commented 1 month ago

Just FYI that this still isn't fixed. I believe you should consider macOS to approximately mean Apple Silicon at this point. I ran into these instructions seeing them linked from the setup instructions for this class at MPRI.

pauloud commented 3 weeks ago

Hello, I am curious about a point : I have an apple sillicon, but if I had an Intel one, which method should I pick ?

rtetley commented 3 weeks ago

Hello, I am curious about a point : I have an apple sillicon, but if I had an Intel one, which method should I pick ?

At this stage, I believe it's no longer about which type of processor you have but rather how experienced you are