[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