[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