idris cabal 安装失败。 “重新安装可能会破坏以下软件包”答案

【问题标题】：idris cabal install fails. "The following packages are likely to be broken by the reinstalls"idris cabal 安装失败。 “重新安装可能会破坏以下软件包”
【发布时间】：2023-04-18 17:32:01
【问题描述】：

我首先执行 cabal 更新/升级过程，所以我有 cabal-install-1.20.0.3。然后我做：

cabal install idris

我明白了：

...
idris-0.9.14.1 (new version)
The following packages are likely to be broken by the reinstalls:
network-2.5.0.0
HTTP-4000.2.17
Use --force-reinstalls if you want to install anyway.

（如果这很重要，我正在运行 OS X 10.9.4）

【问题讨论】：

您是否尝试过将 idris 安装到沙箱中？除此之外，您处于通常的 cabal-hell-mess 中-如果所有其他方法都失败了，您可以重置（意味着删除 ~/.cabal 以及 /local/usr/haskell 下的软件包或 MacOS 上的任何位置）并从头开始
顺便说一句：这是一篇很好的文章，解释了如何使用沙箱从源代码编译 idris：github.com/idris-lang/Idris-dev/wiki/…
我刚刚对其进行了测试，它运行良好（在 Linux Mint 上使用 2014 haskell 平台，只安装了一些基本软件包，如 ghc-mod - 基本上是那些你需要获得 sublime-haskell / emacs 支持的软件包 -我在沙箱中所做的所有其他事情） - 注意：如果您收到有关缺少 ltinfo 的错误，请在系统包中搜索 lib32-ncurses-dev 或类似内容并安装它（我希望您能找到它在自制软件或类似的东西中）
谢谢大家！ Haskell/Cabal 比我预期的要脆弱一些。当然，没有什么是完美的。
Haskell 2014 平台在主要的 Mac 包管理器上尚不可用：Nix 和 homebrew。

标签： cabal cabal-install idris

【解决方案1】：

重新安装可能会破坏以下软件包：

network-2.5.0.0
HTTP-4000.2.17

如果您仍想安装，请使用 --force-reinstalls。

或者按照@Carsten 的建议使用沙盒

【讨论】：

我试过 --force-reinstalls。它仍然没有工作。我也没有尝试过 Haskell 2014，因为它还没有在任何主要的包管理器上可用。我还没有尝试过“沙盒”。
这需要弄清楚。我尝试在 3 个平台和两个独立的操作系统上安装 agda，我在所有可能的组合上都卡在某个地方。

【解决方案2】：

使用阴谋集团旗帜--avoid-reinstalls 可能会有所帮助。

【讨论】：