[Agda] 2.4.2.1 installation issue

Andrés Sicard-Ramírez asr at eafit.edu.co
Thu Nov 20 20:19:06 CET 2014


On 20 November 2014 13:16, Aaron Stump <aaron-stump at uiowa.edu> wrote:

> So, for anyone trying to make the Agda installation process more robust,
> it seems that somewhere along the way (cabal?), the --with-PROG directives
> are not getting honored, and so versions of those programs (the culprit
> looks like cpphs) are getting used which are not the ones specified on the
> command-line.


You can use the default C preprocessor  instead of cpphs by running

  $ cabal install -f -cpphs ...

Can you reproduce the issue using this option?

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141120/5f5c398b/attachment.html


More information about the Agda mailing list