[Agda] Haskell Platform and Agda on OS X Mavericks/xcode 5

Ulf Norell ulf.norell at gmail.com
Thu Jan 30 13:41:02 CET 2014


Are the wrapper script problems Agda specific? Can you install other
Haskell packages? I needed a real C compiler for other work, so I never
tried the wrapper solution.

/ Ulf


On Thu, Jan 30, 2014 at 1:21 PM, James Chapman <james at cs.ioc.ee> wrote:

> Hi,
>
> The current Haskell Platform (2013.2.0.0) doesn’t work out of the box
> on OS X Mavericks (http://www.haskell.org/platform/mac.html) as Apple
> removed gcc from the developer tools that come with it (Xcode).
> Mavericks has been out for about 3 months.
>
> There are two ways to fix this (described on the page linked above):
>
> 1. Install a wrapper script.
> 2. Install a separate gcc (via homebrew).
>
> I tried 1 and am very reluctant to try 2. I couldn’t get 1 to work with
> Agda.
>
> In the meantime I have been using Agda on other machines (that I
> didn’t rashly upgrade) whilst I waited for a new HP to come out.
> 2013.4.0.0 was due to come out in November but it still hasn’t and now
> there is talk on the HP mailing list
> (
> http://projects.haskell.org/pipermail/haskell-platform/2014-January/002814.html
> )
> of skipping this version altogether and going straight to a version
> based on an early version of GHC 7.8 in mid-March—mid-April. So it
> looks like I might be waiting for a long time!
>
> Has anyone managed to build Agda with the wrapper script?
>
> Maybe I just messed something up/had some old cruft lurking somewhere
> on my system.
>
> The reason I ask is that I am bit worried that it is currently very
> difficult to install Agda on a frequently used platform with the
> ‘stock’ toolset. Personally I think expecting people to install a
> separate c compiler is a bit to much to ask.
>
> Looking on the bright side this problem will hopefully go away with
> ghc 7.8 and I read today that release candidates for this are not far
> away.
>
> Regards,
>
> James
> _______________________________________________
> 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/20140130/6ce4ff4b/attachment.html


More information about the Agda mailing list