安装idris时的小屋建筑物

Question

当我运行命令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)

Answer 1

如果我没有错，这只是意味着你对`tinfo-dev有一些缺失的依赖（参见它所说的部分c annot加载.so / .dll 为此？）

在我的 Linux Mint 机器上我确实在ncursesXY-dev包中找到了这些库 - 所以试着找一下并安装它

对于 ubuntu / mint /...我建议libncurses5-dev：

sudo apt-get install libncurses5-dev 

ofc如果你发现tinfo-dev这也应该没问题！