[Agda] failure of cabal install Agda

Michel Levy michel.levy.imag at free.fr
Wed Mar 18 15:29:42 CET 2020


I am lost with the installation of Agda. Below I give the log created by
"cabal install Agda".

michel at M1330:~/.cabal/logs$ more Agda-2.6.1.log
cabal: Entering directory '/tmp/cabal-tmp-11975/Agda-2.6.1'
[1 of 1] Compiling Main             (
/tmp/cabal-tmp-11975/Agda-2.6.1/dist/setup
/setup.hs, /tmp/cabal-tmp-11975/Agda-2.6.1/dist/setup/Main.o )
Linking /tmp/cabal-tmp-11975/Agda-2.6.1/dist/setup/setup ...
Configuring Agda-2.6.1...
Building Agda-2.6.1...
Preprocessing library Agda-2.6.1...
[  1 of 369] Compiling Paths_Agda       (
dist/build/autogen/Paths_Agda.hs, dist
/build/Paths_Agda.o )
[  2 of 369] Compiling Agda.Version     ( src/full/Agda/Version.hs,
dist/build/A
gda/Version.o )
[  3 of 369] Compiling Agda.VersionCommit (
src/full/Agda/VersionCommit.hs, dist
/build/Agda/VersionCommit.o )

src/full/Agda/VersionCommit.hs:5:1: error:
    Failed to load interface for ‘Development.GitRev’
    There are files missing in the ‘gitrev-1.3.1’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
cabal: Leaving directory '/tmp/cabal-tmp-11975/Agda-2.6.1'

Can you help me to solve this problem ?

-- 
courriel : michel.levy.imag at free.fr
mobile : 06 59 13 42 53
web : michel.levy.imag.free.fr


More information about the Agda mailing list