当我运行命令sudo cabal install idris
时,我遇到了这个错误:
Build log ( /home/kyle/.cabal/logs/xss-sanitize-0.3.5.6.log ):
cabal: /home/kyle/.cabal/logs/xss-sanitize-0.3.5.6.log: does not exist
我该怎么做才能解决这个问题?
这是关键部分:
<command line>: can't load .so/.DLL for:
libtinfo.so (libtinfo.so: cannot open shared object file:
No such file or directory)
答案 0 :(得分:1)
如果我没有错,这只是意味着你对`tinfo-dev有一些缺失的依赖(参见它所说的部分c annot加载.so / .dll 为此?)
在我的 Linux Mint 机器上我确实在ncursesXY-dev
包中找到了这些库 - 所以试着找一下并安装它
对于 ubuntu / mint /...我建议libncurses5-dev
:
sudo apt-get install libncurses5-dev
ofc如果你发现tinfo-dev
这也应该没问题!