[Agda] ANNOUNCE: Agda 2.4.2.1

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Nov 17 17:50:51 CET 2014


On 17 November 2014 09:07, <silvio at cs.ioc.ee> wrote:

> However, I would be more interested in just telling cabal to use the local
> version of cpphs instead of the global one.
> Is there any way to do this?
>

I guess you can use the  --with-PROG option of cabal install:

The flags --with-PROG ... can be used with the following programs: ...
cpphs ...

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141117/6d9f2359/attachment.html


More information about the Agda mailing list