[Agda] ANNOUNCE: Agda 2.4.2.1

silvio at cs.ioc.ee silvio at cs.ioc.ee
Mon Nov 17 15:07:47 CET 2014


Hi All,

I tried to install the new version of Agda. I want a local install, so  
I use the sequence of commands:

cabal update
cabal install agda --user

However, cabal gets confused by the fact that I also have installed  
the ghc system for Xubuntu. As the latter is not the latest release,  
when the installer tries to employ the cpphs preprocessor, I get the  
following error:

[blah blah blah]
In-place registering haskell-src-exts-1.16.0.1...
Installing library in
/home/silvio/.cabal/lib/haskell-src-exts-1.16.0.1/ghc-7.6.3
Registering haskell-src-exts-1.16.0.1...
Installed haskell-src-exts-1.16.0.1
Downloading Agda-2.4.2.1...
[1 of 1] Compiling Main             (  
/tmp/Agda-2.4.2.1-6653/Agda-2.4.2.1/Setup.hs,  
/tmp/Agda-2.4.2.1-6653/Agda-2.4.2.1/dist/setup/Main.o )
Linking /tmp/Agda-2.4.2.1-6653/Agda-2.4.2.1/dist/setup/setup ...
Configuring Agda-2.4.2.1...
setup: The program cpphs version >=1.18.6 && <1.19 is required but the version
found at /usr/bin/cpphs is version 1.16
Failed to install Agda-2.4.2.1
cabal: Error: some packages failed to install:
Agda-2.4.2.1 failed during the configure step. The exception was:
ExitFailure 1

while, by looking for cpphs in my local install, I find:

silvio at dalamar:~$ find . -iname cpphs -print
./.cabal/packages/hackage.haskell.org/cpphs
./.cabal/bin/cpphs
./.cabal/lib/cpphs-1.18.6/ghc-7.6.3/Language/Preprocessor/Cpphs

I think I might uninstall GHC from Xubuntu and reinstall it locally.
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?
Thank you all in advance.

Best regards,

Silvio



Andrés Sicard-Ramírez <asr at eafit.edu.co> kirjutas:

> Hi,
>
> Agda 2.4.2.1 has been released.
>
> Download with
>
>   cabal update && cabal install Agda
>
> or go to http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download.
>
> Important changes since Agda 2.4.2:
> https://github.com/agda/agda/blob/2.4.2.1/CHANGELOG.
>
> --
> Andrés, on behalf of the Agda team
>





More information about the Agda mailing list