安装Agda时Cabal的问题

时间:2015-01-25 10:51:59

标签: haskell cabal agda

我试图让Agda在this turtorial之后工作。但是当我输入cabal install agda时,我收到一条错误,说我安装了错误的alex版本,然后我使用cabal install alex并在安装alex之后检查以便alex -v给我正确的版本它做的。然后我再次尝试运行cabal install agda,但仍抱怨错误版本的alex。然后我将路径上的精确路径放在我的路径上:

/Users/me/Library/Haskell/ghc-7.6.3/lib/alex-3.1.4/bin

这可以解决alex的问题,但现在cabal install agda需要正确版本的cpph。

所以我的问题是为什么我需要将包直接放在我的系统路径上以便找到最新版本?为什么它不能使用具有所有正确符号链接的以下路径,并且也在我的系统路径上:

~/Library/Haskell/bin:

1 个答案:

答案 0 :(得分:1)

路径~/Library/Haskell/bin应该是路径列表中的第一个路径。