[Agda] Agda and GHC 7.8

[Twan van Laarhoven]

A quick guess: do you have the latest version of alex and happy installed? Older 
versions do not work with ghc 7.8. After updating you might need to remove the 
generated Lexer.hs file, to be sure that alex generates a new one.

Twan

On 2014-09-25 14:14, Jan Stolarek wrote:
>> 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
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>