在Mac OS X Mavericks上安裝Agda

我在我的Mac上安裝Agda時遇到問題。我把我的指令從這裏：在Mac OS X Mavericks上安裝Agda

我能得到安裝哈斯克爾平臺，當我運行小集團更新它的工作原理。當我運行：

cabal install agda

它最初安裝，現在我提供了重新安裝選項，所以我相信這是正確的。當我運行的最後一個命令，就會出現問題，

$ agda-mode setup

它輸出

-bash: agda-mode: command not found

我也曾嘗試安裝在我的虛框，因爲Windows安裝似乎輕鬆了許多，但是當我嘗試運行.msi文件中出現「此文件與您的處理器不兼容」的錯誤。我允許虛擬窗口使用多達8個處理器（最大），所以看起來好像不會是一個選項。任何幫助將不勝感激。

2014-02-11 Joe

您的PATH中是否有默認的Cabal二進制安裝目錄？我認爲它是'〜/ .cabal/bin'或'〜/ Library/Haskell/bin'。 – kosmikus

是的 - 我添加了export PATH =「$ HOME/Library/Haskell/bin：$ PATH」到我的.profile – Joe

您是否搜索了可執行文件以確保它在PATH中？我只見過'〜/ .cabal/bin'，所以請確保它不在那裏。 – crockeea

我遇到了同樣的問題，在將〜/ .cabal/bin添加到PATH後，它已經修復。

2014-03-08 05:41:54

你的意思是把'sudo nano/etc/paths'加入到文件中嗎？因爲我在那裏添加了那行，但它仍然不起作用。 –

回答