旋转: gcc-6:未识别的命令行选项

Question

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

• I安装了MinGW和gcc，更新了path，并在命令提示符下签入，它显示了6.3.0版
• i安装了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='?

我不明白这个错误，有人知道缺少了什么吗？

Answer 1

错误准确地说明了问题所在：-Wformat-overflow=0不是公认的命令行选项。

并不是说您使用的是MinGW GCC 6.3.0，这是非常古老的。

考虑使用MinGW-w64，这是最近的。目前GCC 11.2.0是最新版本。您可以在https://winlibs.com/找到一个独立的构建。

所以请试试新的GCC。如果仍然不能工作，请运行gcc --help -v查看所有命令行选项。