[Agda] Haskell Platform and Agda on OS X Mavericks/xcode 5
James Chapman
james at cs.ioc.ee
Thu Jan 30 19:12:25 CET 2014
Dear Andy,
I followed your steps and was able to get a working Agda. I think the
main difference with what I tried previously (apart from varying
degrees of paranoia) was that I have always used the 32-bit version to
save memory on this machine.
I just tested it again with the 32-bit version and got the same result
as before - I can install Agda but when I try to use it (e.g. type
checking something in emacs) I get a bus error!
I don't know at this point if this is Agda specific or not, but
certainly I was able to compile a new version of cabal-install and use
it to install Agda.
Thanks!
James
On Thu, Jan 30, 2014 at 2:35 PM, Andrew Pitts <Andrew.Pitts at cl.cam.ac.uk> wrote:
> 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
More information about the Agda
mailing list