6

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
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-mode セットアップ」を実行します。
  3. Emacs の bin ディレクトリも検索パスにありますが、必要かどうかはわかりません。とにかく、何か間違ったことをすると、エラーメッセージが表示されます。
  4. Haskell モード ( ) も必要で、.emacs ファイルcan be obtained from here https://github.com/haskell/haskell-modeに ( ) を追加する必要があります。load "c:\\haskell\\dev\\haskell-mode\\haskell-site-file.el"Agdaのものより前にロードしますが、ロード順序が重要かどうかはよくわかりません。
于 2012-08-08T17:03:22.657 に答える
0

私は GHC 7.0.4 (Haskell Platform 2011.4.0.0 を使用) を使用しており、Agda 2.3.0 インストーラーを Win7 64b に問題なくインストールできました。

GHC 7.4 を使用している場合は、Agda 2.3.0.1 を試してください。

于 2012-05-11T12:12:11.243 に答える