UlfNorell commented 10 years ago

From krakr...@gmail.com on November 02, 2013 18:13:08

What's the problem?

cabal install Agda -- FAILS

Compilation stops with 39 warnings and this error: src/full/Agda/Interaction/BasicOps.hs:3:4: error: invalid preprocessing directive

-}

What version of Agda are you using?

2.3.2.1 & 2.3.2.2

On what operating system (if relevant)?

Mac OS X Mavericks (10.9) The Glorious Glasgow Haskell Compilation System, version 7.6.3

Agda version 2.3.2.2 compiles fine under Debian Wheezy (amd64) using The Glorious Glasgow Haskell Compilation System, version 7.4.1

Is there something I have set up wrong on my end?

Original issue: http://code.google.com/p/agda/issues/detail?id=932

UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 02, 2013 12:01:31

The problem is that Apple has their own version of gcc, and it seems like the one in Mavericks isn't compatible with ghc. Using gnu gcc-4.8 (brew install gcc-4.8) gets rid of the cpp problem but I'm getting some include file problems instead.

Status: Accepted
Owner: ulf.nor...@gmail.com
Labels: Type-Defect Priority-Critical BuildFailure

UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 02, 2013 23:50:34

Here are some instructions compiled by cartazio on how to deal with the problem: https://gist.github.com/cartazio/7131371

UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 03, 2013 00:43:31

A clean install of gcc48 fixed my include path problems.

Status: Fixed

UlfNorell / agda-test

Agda fails to cabal install on OS X Mavericks #932

-}