<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">here</a> (getting <code class="gmail-sourceCode gmail-haskell" style="font-size:13.528px;background:transparent;border:none;overflow:auto;font-family:Menlo,"Lucida Console",Monaco,monospace">ghcup</code>, <code class="gmail-sourceCode gmail-haskell" style="font-size:13.528px;background:transparent;border:none;overflow:auto;font-family:Menlo,"Lucida Console",Monaco,monospace"><span class="gmail-dt">GHC</span></code>, and <code class="gmail-sourceCode gmail-haskell" style="font-size:13.528px;background:transparent;border:none;overflow:auto;font-family:Menlo,"Lucida Console",Monaco,monospace"><span class="gmail-dt">Cabal</span></code>) and then “<code class="gmail-sourceCode gmail-haskell" style="font-size:13.528px;background:transparent;border:none;overflow:auto;font-family:Menlo,"Lucida Console",Monaco,monospace">cabal install <span class="gmail-dt">Agda</span></code>” and “<code class="gmail-sourceCode gmail-haskell" style="font-size:13.528px;background:transparent;border:none;overflow:auto;font-family:Menlo,"Lucida Console",Monaco,monospace">cabal v2<span class="gmail-fu">-</span>install <span class="gmail-co">--lib ieee754</span></code>”. (The <code class="gmail-sourceCode gmail-haskell" 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">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>