[Agda] Agda and GHC 7.8

[Liam O'Connor]

FWIW, Agda appears to build fine if i remove the option to use cpphs from the cabal file.


-- 
Liam O'Connor
Sent with Airmail

On 27 September 2014 at 3:27:24 pm, Liam O'Connor (liamoc at cse.unsw.edu.au) wrote:

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/4c5afd76/attachment.html