0

我想在 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='?

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

4

1 回答 1

1

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

并不是说您使用的是非常旧的 MinGW GCC 6.3.0。

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

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

于 2021-10-04T09:37:25.577 回答