安装 idris 时阴谋集团建筑失败答案

【问题标题】：Cabal building failling when installing idris安装 idris 时阴谋集团建筑失败
【发布时间】：2015-10-26 19:30:28
【问题描述】：

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

【问题讨论】：

我不确定，但你使用 sudo 来安装 cabal 的事实本身就是有问题的 - 我会放弃 sudo。其次，sudo 进程仍在尝试将日志写入用户目录这一事实同样值得怀疑。
我同意 - 尝试在沙箱中执行此操作（之后您只需将符号链接添加到 bin 的某个位置到您的路径中） - 如果这确实失败了，请杀死您的 ~/.cabal 和 ~/ .ghc（与全局代表相同）并重新启动......老实说：始终使用沙箱或使用堆栈 - 另请参阅here
@Carsten 我尝试了沙箱，但没有用，然后我用 .cabal 和 .ghc 核弹了，仍然没有用，我遇到了同样类型的错误，我讨厌 cabal，这里有 cabal 错误： lpaste.net/144011
@Carsten 我尝试了你给我的那个链接，但我得到了同样的日志错误，我不断收到我的阴谋集团一定有问题
无法复制。由于您的错误消息是某些文件不存在 - 可能由于您的磁盘（配额）已满而无法创建该文件。

【解决方案1】：

如果我没记错的话，这只是意味着您缺少一些对 `tinfo-dev 的依赖项（请参阅上面写着 cannot load a .so/.dll 的部分？）

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

对于 ubuntu/mint/... 我会推荐libncurses5-dev：

sudo apt-get install libncurses5-dev

ofc 如果您找到tinfo-dev，这也应该没问题！

【讨论】：