在Mac小牛上安装Agda

Question

我在我的mac上安装agda有困难。我从这里接受我的指示：

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX

我能够安装Haskell平台，当我运行阴谋更新时，它可以工作。当我跑步时：

cabal install agda

它最初安装，现在它为我提供了重新安装的选项，所以我相信这是正确的。当我运行最后一个命令时，问题就出现了，

$ agda-mode setup           

It输出

-bash: agda-mode: command not found

我还尝试在我的虚拟盒上安装，因为windows安装似乎要容易得多，但是当我试图运行.msi文件时，会发现“此文件与您的处理器不兼容”。我允许虚拟窗口最多使用8个处理器(最大)，所以这似乎不是一种选择。任何帮助都将不胜感激。

Answer 1

我也遇到了同样的问题，在路径中添加了~/..cabal/bin之后，就解决了这个问题。