自旋：gcc-6：无法识别的命令行选项答案

【问题标题】：Spin: gcc-6: unrecognized command line option自旋：gcc-6：无法识别的命令行选项
【发布时间】：2021-11-24 12:48:11
【问题描述】：

我想在 Windows 10（64 位）上使用 SPIN 模型检查器，并且我已按照 spin 网站上的说明进行操作：

我安装了 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='?

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

【问题讨论】：

标签： gcc mingw spin activetcl

【解决方案1】：

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

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

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

所以请尝试使用更新的 GCC。如果它仍然不起作用，请运行 gcc --help -v 以查看所有命令行选项。

【讨论】：