<div dir="ltr">Are the wrapper script problems Agda specific? Can you install other<div>Haskell packages? I needed a real C compiler for other work, so I never</div><div>tried the wrapper solution.</div><div><br></div><div>
/ Ulf</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jan 30, 2014 at 1:21 PM, James Chapman <span dir="ltr"><<a href="mailto:james@cs.ioc.ee" target="_blank">james@cs.ioc.ee</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
The current Haskell Platform (2013.2.0.0) doesn’t work out of the box<br>
on OS X Mavericks (<a href="http://www.haskell.org/platform/mac.html" target="_blank">http://www.haskell.org/platform/mac.html</a>) as Apple<br>
removed gcc from the developer tools that come with it (Xcode).<br>
Mavericks has been out for about 3 months.<br>
<br>
There are two ways to fix this (described on the page linked above):<br>
<br>
1. Install a wrapper script.<br>
2. Install a separate gcc (via homebrew).<br>
<br>
I tried 1 and am very reluctant to try 2. I couldn’t get 1 to work with Agda.<br>
<br>
In the meantime I have been using Agda on other machines (that I<br>
didn’t rashly upgrade) whilst I waited for a new HP to come out.<br>
2013.4.0.0 was due to come out in November but it still hasn’t and now<br>
there is talk on the HP mailing list<br>
(<a href="http://projects.haskell.org/pipermail/haskell-platform/2014-January/002814.html" target="_blank">http://projects.haskell.org/pipermail/haskell-platform/2014-January/002814.html</a>)<br>
of skipping this version altogether and going straight to a version<br>
based on an early version of GHC 7.8 in mid-March—mid-April. So it<br>
looks like I might be waiting for a long time!<br>
<br>
Has anyone managed to build Agda with the wrapper script?<br>
<br>
Maybe I just messed something up/had some old cruft lurking somewhere<br>
on my system.<br>
<br>
The reason I ask is that I am bit worried that it is currently very<br>
difficult to install Agda on a frequently used platform with the<br>
‘stock’ toolset. Personally I think expecting people to install a<br>
separate c compiler is a bit to much to ask.<br>
<br>
Looking on the bright side this problem will hopefully go away with<br>
ghc 7.8 and I read today that release candidates for this are not far<br>
away.<br>
<br>
Regards,<br>
<br>
James<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div><br></div>