将Agda安装到Windows 7上

Question

我在Windows 7 64位PC上运行Agda时遇到问题.我尝试运行以下命令:

cabal install agda

和

cabal install agda-executable 

这两个都有效,但我似乎仍然无法用emacs,有人可以帮我吗？我从这里尝试过单击安装程序,但它似乎不起作用,我遇到了这个抱怨:

C:\agda2\bin\agda2-install.cmd failed.
Code = 1
Incorrect Function
Setup was not completed.

Please correct the problem and run setup again

Answer 1

1. Install Agda (cabal install agda agda-executable),确保agda-mode.exe在搜索路径上。这是必需的，因为安装程序会将类似 (shell-command-to-string " agda-mode.exe locate") 的内容放入.emacs 文件。
2. 运行“agda 模式设置”。
3. 我的 Emacs bin 目录也在搜索路径上，但我不确定它是否需要。无论如何，如果您做错了什么，您将收到错误消息。
4. 您还需要 Haskell 模式 ( can be obtained from here https://github.com/haskell/haskell-mode) 并且您必须将 ( load "c:\\haskell\\dev\\haskell-mode\\haskell-site-file.el")添加到您的 .emacs 文件中。我在 Agda 之前加载它，我真的不知道加载顺序是否重要。

Answer 2

我有 GHC 7.0.4（带有 Haskell Platform 2011.4.0.0），我可以在 Win7 64b 中安装 Agda 2.3.0 安装程序，没有任何问题。

如果您有 GHC 7.4，您应该尝试 Agda 2.3.0.1