6

我在 Windows 7 64 位电脑上运行 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
4

2 回答 2

5
  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 之前加载它，我真的不知道加载顺序是否重要。
于 2012-08-08T17:03:22.657 回答
0

我有 GHC 7.0.4（使用 Haskell 平台 2011.4.0.0），我可以在 Win7 64b 中安装 Agda 2.3.0 安装程序而不会出现问题。

如果你有 GHC 7.4，你应该试试 Agda 2.3.0.1

于 2012-05-11T12:12:11.243 回答