我试图让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:
答案 0 :(得分:1)
路径~/Library/Haskell/bin
应该是路径列表中的第一个路径。