[Agda] Agda and GHC 7.8

[Andrés Sicard-Ramírez]

On 26 September 2014 07:16, Kyra <kyrab at mail.ru> wrote:

> I remember some time ago the similar problem popped up in front of me.
> I've tracked it down to Agda build process switching to 'cpphs'. Removing
> 'cpphs' from 'build-tools' field and removing '-pgmPcpphs -optP--cpp'
> option fixed the things for me that time.
>
> OTOH, later I didn't experienced problems even with 'cpphs' turned on.
>
> (I'm on Windows, though).
>
>
There was an issue with cpphs on Windows which was fixed by Malcolm Wallace.


> Probably, your 'cpphs' needs to be updated? (And minimal 'cpphs' version
> requirement in Agda.cabal inreased too?)
>

Due to the issue on Windows, Agda requires the latest version (1.18.5) of
cpphs.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140926/0606c4d4/attachment.html