自旋：gcc-6：无法识别的命令行选项
Spin: gcc-6: unrecognized command line option
我想在 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='?
我不明白错误，有人知道缺少什么吗？
该错误准确说明了问题所在：-Wformat-overflow=0 不是可识别的命令行选项。
并不是说您使用的是非常旧的 MinGW GCC 6.3.0。
考虑使用更新的 MinGW-w64。目前 GCC 11.2.0 是最新版本。您可以在 https://winlibs.com/
找到独立版本
所以请尝试使用更新的 GCC。如果还是不行 运行 gcc --help -v 查看所有命令行选项。
我想在 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='?
我不明白错误，有人知道缺少什么吗？
该错误准确说明了问题所在：-Wformat-overflow=0 不是可识别的命令行选项。
并不是说您使用的是非常旧的 MinGW GCC 6.3.0。
考虑使用更新的 MinGW-w64。目前 GCC 11.2.0 是最新版本。您可以在 https://winlibs.com/
找到独立版本所以请尝试使用更新的 GCC。如果还是不行 运行 gcc --help -v 查看所有命令行选项。