[Agda] Agda and GHC 7.8
Andrés Sicard-Ramírez
asr at eafit.edu.co
Sun Sep 28 14:23:11 CEST 2014
On 28 September 2014 02:17, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:
> > 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!
I'll report the issue to Malcom Wallace (the author of cpphs).
Could you reproduce the issue running these commands
$ cabal update
$ cabal get Agda
$ cd Agda-2.4.2
$ cabal install
?
--
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140928/2af46937/attachment.html
More information about the Agda
mailing list