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

[James Chapman]

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