现在用 cabal 安装 idris 的最安全方法是什么

编程问答 2022-05-23

问题描述

我想安装 idris 工具链，由于我已经安装并设置了 cabal，我尝试使用 cabal install

安装它

但是当我运行 cabal install idris 时，它导致以下错误：

Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] trying: idris-1.3.3 (user goal)
[__1] next goal: idris:setup.Cabal (dependency of idris)
[__1] rejecting: idris:setup.Cabal-3.2.1.0/installed-3.2.1.0 (conflict: idris
=> idris:setup.Cabal>=2.4 && <3.1)
[__1] skipping: idris:setup.Cabal-3.4.0.0,idris:setup.Cabal-3.2.1.0,idris:setup.Cabal-3.2.0.0 (has the same characteristics that caused the
prevIoUs version to fail: excluded by constraint '>=2.4 && <3.1' from 'idris')
[__1] rejecting: idris:setup.Cabal-3.0.2.0,idris:setup.Cabal-3.0.1.0,idris:setup.Cabal-3.0.0.0,idris:setup.Cabal-2.4.1.0,idris:setup.Cabal-2.4.0.1,idris:setup.Cabal-2.4.0.0,idris:setup.Cabal-2.2.0.1,idris:setup.Cabal-2.2.0.0,idris:setup.Cabal-2.0.1.1,idris:setup.Cabal-2.0.1.0,...
idris:setup.Cabal-1.2.2.0,idris:setup.Cabal-1.2.1,idris:setup.Cabal-1.1.6,idris:setup.Cabal-1.24.1.0 (constraint from minimum version of Cabal used by
Setup.hs requires >=3.2)
[__1] fail (backjumping,conflict set: idris,idris:setup.Cabal)
After searching the rest of the dependency tree exhaustively,these were the
goals I've had most trouble fulfilling: idris:setup.Cabal,idris,base,ivor`

我知道与今天的 haskell 软件包相比，该语言有点过时。

有些人将它安装在具有最旧版本 cabal 的沙箱中，但我现在不知道正确的方法是什么，在新的 cabal-install 中使用 nix 风格的 v2-install。

  • 阴谋集团版本：
cabal-install version 3.4.0.0
compiled using version 3.4.0.0 of the Cabal library

我应该如何安装 idris ？

从 AUR 预编译它是否更好（我使用的是 archlinux）？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

cabalghcidrisidrisidrisinstallationinstallationsandbox