[Agda] Agda on Apple Silicon?

[Ettore Aldrovandi]

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
> 

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