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

[Harley Eades]

ulf.norell at gmail.com writes:

> 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.

We are using Agda in an undergrad PL course, and I have had a
number of students successfully use the wrapper solution.  I myself used
the second solution and it also worked for me.

James, what specifically goes wrong with it when you try it?

.\ Harley

>
> / 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
>>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

-- 
Sent with my mu4e