[Agda] Agda on Apple Silicon?

[Martin Escardo]

For me it worked doing "arch -x86_64 /usr/local/bin/brew install agda"
after following
https://stackoverflow.com/questions/64882584/how-to-run-the-homebrew-installer-under-rosetta-2-on-m1-macbook/64883440

Martin


On 18/04/2021 15:24, Ettore Aldrovandi 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
> 

-- 
Martin Escardo
http://www.cs.bham.ac.uk/~mhe