WindowsにCoq

WindowsにもCoqを入れてみた。

そして、コケたのでメモ

Coq8.3pl2のwindows版を

からダウンロード、手順に従えば無事インストール完了。

emacsからこれを使うための設定

ProofGeneralを使うためにはemacsのバージョンに制限があるらしい

Emacs 22.3.1はサポートして無いよう

Emacs 23.2 が推奨らしいので

の下のほうからダウンロード

（注：新しすぎてもダメなよう　自分の環境ではemacs-23.3-rc1でもダメだった。他のバージョンは未確認）

下はProofGeneralの場所によって変更して、.emacsファイルに追加する。

(load-file "C:/SecondDisc/emacs/ProofGeneral/generic/proof-site.el")

emacsの設定中￥は/でいいみたいなのでこちらを採用

うまくいったことを確認するには適当にファイルvファイルを開いておじさんの絵が出てくればOk。

（Verilogファイルと間違えたりした場合は　M-x coq-mode で変更できる）

コメントする

トラックバック(0)