[Haskell-cafe] Meet some problem when installing Agda

[Henk-Jan van Tuyl]

On Sat, 02 May 2015 22:48:13 +0200, Zongzhe Yuan <psyzy3 at nottingham.ac.uk>  
wrote:

> Hi
>
> I want to use Agda on my computer and I follow the instruction  
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX
> However when I was using cabal install Agda to install agda, the  
> terminal said
> The program cpphs version >=1.18.6 && <1.19 is required but the version
> found at /Users/XXXXXX/Library/Haskell/bin/cpphs is version 1.19
> Do you have some idea how could i fix that problem?

Run:
   cabal install cpphs-1.18.9
and install the cpphs executable somewhere in the search path before the  
one you have now.

Regards,
Henk-Jan van Tuyl


-- 
Folding at home
What if you could share your unused computer power to help find a cure? In  
just 5 minutes you can join the world's biggest networked computer and get  
us closer sooner. Watch the video.
http://folding.stanford.edu/


http://Van.Tuyl.eu/
http://members.chello.nl/hjgtuyl/tourdemonad.html
Haskell programming
--