[Agda] 2.4.2.1 installation issue

Aaron Stump aaron-stump at uiowa.edu
Fri Nov 21 17:11:57 CET 2014


On 11/20/2014 01:19 PM, Andrés Sicard-Ramírez wrote:
>
> On 20 November 2014 13:16, Aaron Stump <aaron-stump at uiowa.edu 
> <mailto: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?
Now that everything is working, I could try re-installing Agda on my 
machine to see if I can re-produce the problem and if this would fix it 
-- but I hope you understand if I don't have time for that for a bit.  
Thanks again for the help.

Aaron

>
> -- 
> Andrés



More information about the Agda mailing list