<div dir="ltr">I did install homebrew at some point, though I forget whether I needed to in order to get GHC and Agda working.<div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Apr 18, 2021 at 9:50 AM Conal Elliott <<a href="mailto:conal@conal.net">conal@conal.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><p style="color:rgb(0,0,0);font-family:sans-serif;font-size:14.24px">Yesterday I installed GHC on a new M1 MacBook Air described <a href="https://www.haskell.org/platform/mac.html" target="_blank">here</a> (getting <code style="font-size:13.528px;background:transparent;border:none;overflow:auto;font-family:Menlo,"Lucida Console",Monaco,monospace">ghcup</code>, <code style="font-size:13.528px;background:transparent;border:none;overflow:auto;font-family:Menlo,"Lucida Console",Monaco,monospace"><span>GHC</span></code>, and <code style="font-size:13.528px;background:transparent;border:none;overflow:auto;font-family:Menlo,"Lucida Console",Monaco,monospace"><span>Cabal</span></code>) and then “<code style="font-size:13.528px;background:transparent;border:none;overflow:auto;font-family:Menlo,"Lucida Console",Monaco,monospace">cabal install <span>Agda</span></code>” and “<code style="font-size:13.528px;background:transparent;border:none;overflow:auto;font-family:Menlo,"Lucida Console",Monaco,monospace">cabal v2<span>-</span>install <span>--lib ieee754</span></code>”. (The <code style="font-size:13.528px;background:transparent;border:none;overflow:auto;font-family:Menlo,"Lucida Console",Monaco,monospace">ieee754</code> Haskell package is needed for Agda compilation.)</p><p style="color:rgb(0,0,0);font-family:sans-serif;font-size:14.24px">The homebrew instructions did not work for me.</p><p style="color:rgb(0,0,0);font-family:sans-serif;font-size:14.24px">- Conal</p></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Apr 18, 2021 at 2:44 AM Kenichi Asai <<a href="mailto:asai@is.ocha.ac.jp" target="_blank">asai@is.ocha.ac.jp</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">What is the easy way to install agda on Apple Silicon mac?  I used to<br>
install via homebrew, but homebrew (for native Apple Silicon) tells me<br>
I need to build from source, and if I do:<br>
<br>
brew install --build-from-source agda<br>
<br>
I am told to build ghc from source, too, which fails.  Thanks in advance!<br>
<br>
-- <br>
Kenichi Asai<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>
</blockquote></div></div></div>