[Agda] Agda and GHC 7.8

[Jan Stolarek]

> I cannot help without more information.
I wanted to avoid discussing this on list but here goes:

```
$ cabal install
Resolving dependencies...
Configuring Agda-2.4.3...
Building Agda-2.4.3...
Failed to install Agda-2.4.3
Build log ( /home/killy/.cabal/logs/Agda-2.4.3.log ):
[1 of 1] Compiling Main             ( dist/setup/setup.hs, dist/setup/Main.o )
Linking ./dist/setup/setup ...
Configuring Agda-2.4.3...
Building Agda-2.4.3...
Preprocessing library Agda-2.4.3...
Warning: trailing characters after #if directive in 
file /dane/sandboxes/ghc/7.8.3//lib/ghc-7.8.3/include/ghcautoconf.h  at line 383 col 1:  
AC_APPLE_UNIVERSAL_BUILD

src/full/Agda/Syntax/Parser/Lexer.x:0:2:
    lexical error at character '\n'
cabal: Error: some packages failed to install:
Agda-2.4.3 failed during the building phase. The exception was:
ExitFailure 1
```

Help appreciated.

Janek