[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