[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