[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