[Agda] Agda and GHC 7.8

Liam O'Connor liamoc at cse.unsw.edu.au
Sat Sep 27 07:27:19 CEST 2014


I am also having the exact same problem as Janek building Agda within a cabal sandbox, but I’m using GHC 7.6.3. I don’t think it has anything to do with the GHC version.


-- 
Liam O'Connor
Sent with Airmail

On 26 September 2014 at 11:43:12 pm, Andrés Sicard-Ramírez (asr at eafit.edu.co) wrote:


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
_______________________________________________  
Agda mailing list  
Agda at lists.chalmers.se  
https://lists.chalmers.se/mailman/listinfo/agda  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140927/cc655ae2/attachment.html


More information about the Agda mailing list