[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