idris cabal安装失败。 ＆＃34;重新安装＆＃34;以下软件包可能会被破坏。

Question

我首先进行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）

Answer 1

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

network-2.5.0.0
HTTP-4000.2.17

如果你想要安装，请使用--force-reinstalls。

或使用沙盒作为@Carsten建议

Answer 2

使用cabal标志--avoid-reinstalls可能有帮助。