Windows 10 (64 ビット) で SPIN モデル チェッカーを使用したいのですが、spin Web サイトの指示に従いました。
- MinGW と gcc をインストールし、パスを更新し、コマンド プロンプトでバージョン 6.3.0 を確認しました。
- ActiveTCL の更新されたパスをインストールし、iSpin で更新されたパスもインストールしました。iSpin を開くことができます
あらかじめ含まれているサンプル ファイルの Leader.pml をコンパイルしようとすると、次のエラーが発生します。
spin: preprocessing failed gcc -std=gnu99 -Wformat-overflow=0 -E -x c "leader.pml" > "pan.pre"
gcc: error: unrecognized command line option '-Wformat-overflow=0'; did you mean '-Wstrict-overflow='?
私はエラーを理解していません、誰かが何が欠けているか知っていますか?