Spin: gcc-6:无法识别的命令行选项

Question

我想在Windows 10(64位)上使用SPIN模型检查器，我遵循了SPIN网站上的说明:

• 我安装了MinGW和gcc，更新了路径，并在命令提示符中检查，显示版本为6.3.0
• 我安装了ActiveTCL更新路径，更新路径与iSpin，我可以得到iSpin打开

当我尝试编译预包含的示例文件leader。我得到这个错误:

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='?

我不明白错误，有人知道遗漏了什么吗?

Answer 1

错误说明了问题所在:-Wformat-overflow=0不是一个可识别的命令行选项。

并不是说你使用的是MinGW GCC 6.3.0，它已经很老了。

考虑使用最新的MinGW-w64。目前最新的版本是GCC 11.2.0。您可以在https://winlibs.com/

找到一个独立的构建版本。所以请尝试使用更新的GCC。如果它仍然不能工作，运行gcc --help -v查看所有命令行选项。