[Agda] Agda on Apple Silicon?

[Andreas Källberg]

It should also be possible to use the ordinary x86_64 releases using rosetta2. I'm not sure how to tell brew to do that.

> On 18 Apr 2021, at 22:24, Ettore Aldrovandi <aldrovandi at math.fsu.edu> wrote:
> 
> Hi, 
> 
> building Agda from source on homebrew requires building ghc, which is not supported on Silicon (yet), although that might change soon, see https://www.haskell.org/ghc/blog/20210309-apple-m1-story.html <https://www.haskell.org/ghc/blog/20210309-apple-m1-story.html>. I don’t know what happens if you try building ghc first with the “—HEAD”flag. 
> 
> —Ettore
> 
> Ettore Aldrovandi
> Department of Mathematics, Florida State University
> 1017 Academic Way                *   http://www.math.fsu.edu/~ealdrov <http://www.math.fsu.edu/~ealdrov>
> Tallahassee, FL 32306-4510, USA * * aldrovandi at math dot fsu dot edu
> 
>> On Apr 18, 2021, at 05:44, Kenichi Asai <asai at is.ocha.ac.jp <mailto:asai at is.ocha.ac.jp>> wrote:
>> 
>> What is the easy way to install agda on Apple Silicon mac?  I used to
>> install via homebrew, but homebrew (for native Apple Silicon) tells me
>> I need to build from source, and if I do:
>> 
>> brew install --build-from-source agda
>> 
>> I am told to build ghc from source, too, which fails.  Thanks in advance!
>> 
>> -- 
>> Kenichi Asai
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se <mailto:Agda at lists.chalmers.se>
>> https://lists.chalmers.se/mailman/listinfo/agda <https://lists.chalmers.se/mailman/listinfo/agda>
>> 
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210418/3c6cce6c/attachment.html>