[Agda] problem with install Agda

Michel Levy michel.levy.imag at free.fr
Thu May 21 20:49:50 CEST 2020


I try to install Agda with cabal on a new laptop. I get the following 
error on the command

cabal install Agda

[ 37 of 369] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, 
dist/buil
d/Agda/Utils/Memo.o )

src/full/Agda/Utils/Memo.hs:8:1: error:
     Could not find module ‘Data.HashMap.Strict’
     There are files missing in the ‘unordered-containers-0.2.10.0’ package,
     try running 'ghc-pkg check'.
     Use -v to see a list of the files searched for.

michel at aleph2020:~/.cabal/logs/ghc-8.6.5$ ghc-pkg check | more
There are problems in package aeson-1.4.7.1:
   Warning: library-dirs: 
/home/michel/.cabal/lib/x86_64-linux-ghc-8.6.5/aeson-1.4.7.1-Jd4Ak08pVHo4tgomPBDTQp 
doesn't exist or isn't a directory

follows many pages of problems ...

Can you help me to solve this installation problem.



More information about the Agda mailing list