[Agda] Agda on Apple Silicon?

[Conal Elliott]

I did install homebrew at some point, though I forget whether I needed to
in order to get GHC and Agda working.

On Sun, Apr 18, 2021 at 9:50 AM Conal Elliott <conal at conal.net> wrote:

> Yesterday I installed GHC on a new M1 MacBook Air described here
> <https://www.haskell.org/platform/mac.html> (getting ghcup, GHC, and Cabal)
> and then “cabal install Agda” and “cabal v2-install --lib ieee754”. (The
> ieee754 Haskell package is needed for Agda compilation.)
>
> The homebrew instructions did not work for me.
>
> - Conal
>
> On Sun, Apr 18, 2021 at 2:44 AM Kenichi Asai <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
>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210418/12507bfd/attachment.html>