[Agda] Agda and GHC 7.8

Jan Stolarek jan.stolarek at p.lodz.pl
Sun Sep 28 09:17:52 CEST 2014


> Removing 'cpphs' from 'build-tools' field and removing '-pgmPcpphs
> -optP--cpp' option fixed the things for me that time.
I just tried and that worked. Agda installs fine after removing references to cpphs. Thanks!

BTW I have the latest version of cpphs. I was trying to install latest Agda source from github and 
that requires cpphs >= 1.18.5.

Janek




More information about the Agda mailing list