[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