<div><div dir="auto">The latest GHC 8.10.5 now supports the native code generation for Apple M1 (arm64), and homebrew has updated its formula to use GHC 8.10.5 for building Agda. </div><div dir="auto"><br></div><div><a href="https://formulae.brew.sh/formula/agda#default">https://formulae.brew.sh/formula/agda#default</a></div><br></div><div dir="auto">So, on macOS, installing it via homebrew just works again.</div><div dir="auto"><br></div><div dir="auto">Best regards,</div><div dir="auto">Liang-Ting</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Jun 20, 2021 at 19:53 Martin Escardo <<a href="mailto:m.escardo@cs.bham.ac.uk">m.escardo@cs.bham.ac.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">Now just following the cabal installation instructions in the Agda wiki<br>
works for the apple m1 chip. I did this to install the new version of<br>
Agda. M.<br>
<br>
On 19/04/2021 05:27, <a href="mailto:asai@is.ocha.ac.jp" target="_blank">asai@is.ocha.ac.jp</a> wrote:<br>
> Thank you for all the information!  I could install agda (2.6.1.3)<br>
> successfully.  For record, I write what I did (following Martin's<br>
> message):<br>
> <br>
> softwareupdate --install-rosetta<br>
> arch -x86_64 /bin/bash -c "$(curl -fsSL <a href="https://raw.githubusercontent.com/Homebrew/install/master/install.sh" rel="noreferrer" target="_blank">https://raw.githubusercontent.com/Homebrew/install/master/install.sh</a>)"<br>
> arch -x86_64 /usr/local/bin/brew install agda<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">--<br>Dr Liang-Ting Chen<br>Institute of Information Science<br>Academia Sinica, Taiwan</div>