問題タブ [activetcl]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

37 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
207 参照

gcc - スピン: gcc-6: 認識されないコマンド ライン オプション

Windows 10 (64 ビット) で SPIN モデル チェッカーを使用したいのですが、spin Web サイトの指示に従いました。

  • MinGW と gcc をインストールし、パスを更新し、コマンド プロンプトでバージョン 6.3.0 を確認しました。
  • ActiveTCL の更新されたパスをインストールし、iSpin で更新されたパスもインストールしました。iSpin を開くことができます

あらかじめ含まれているサンプル ファイルの Leader.pml をコンパイルしようとすると、次のエラーが発生します。

私はエラーを理解していません、誰かが何が欠けているか知っていますか?


12345678910