[Haskell-cafe] Meet some problem when installing Agda

Henk-Jan van Tuyl hjgtuyl at chello.nl
Sat May 2 22:16:25 UTC 2015

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

> 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?

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

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.

Haskell programming

More information about the Haskell-Cafe mailing list