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

[Andrew Pitts]

On 30 January 2014 12:21, 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?

Yes.  After one failed attempt I became paranoid and cleaned out
everything to do with the HP I knew about

  sudo uninstall-hs --remove thru 7.6.
  sudo rm -rf /Library/Haskell
  sudo rm -rf ~/Library/Haskell
  sudo rm -rf ~/.cabal

then downloaded and installed Haskell Platform 2013.2.0.0 64bit.pkg a
fresh. Then followed instructions at
<http://www.haskell.org/platform/mac.html> re XCode5 gcc. Then added

  export PATH="$HOME/Library/Haskell/bin:$PATH"

to my ~/.bash_profile. Then did

  sudo cabal update
  sudo cabal install cabal-install
  sudo cabal install Agda

What a pain! But now I do have a working Agda on Mac OS 10.9.

  agda --version
  Agda version 2.3.2.2

Andy