将Agda安装到Windows 7上

Question

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

cabal install agda

和

cabal install agda-executable 

这两个都有效，但我似乎仍然无法用emacs，有人可以帮助我吗？我尝试过来自here的单击安装程序，但它似乎不起作用，我遇到了这个投诉：

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-mode setup”。
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