Windows7-64 で SPIN モデル チェッカーを使用したいのですが、その前提条件をすべてインストールしました。以下は私がそれをした手順です
- cygwin で gcc コンパイラをインストールしました。コマンド プロンプトで更新されたパスを確認すると、バージョン 4.9.2 が表示されます
- インストールされた Active Tcl .. 更新されたパス .. ispin を開くと正常に動作します。
- ispin ディレクトリのパスも更新されました。
- ちょっとしたトリックですが、ispin ファイル内の gcc.exe の正確なパスを指定して確認してください。しかし、エラーは同じままでした。
しかし、あらかじめ含まれているサンプル ファイル (例: Leader.pml) をコンパイルしようとすると、エラーが発生します。
spin: preprocessing failed
gcc-4: error: spawn: No such file or directory
誰かが私が間違っていることや欠けていることを教えてもらえますか? どうすればこれを修正できますか？
ありがとう。