Win10 64位使用SPIN模型检查器出现gcc不识别命令行选项错误如何解决

报错根因 #

该问题由gcc版本不匹配导致，与环境配置、依赖安装无关：
-Wformat-overflow=0是GCC 7.1版本才正式引入的编译警告控制参数，你当前使用的GCC 6.3.0版本不支持该参数，因此预编译阶段直接触发无法识别命令行选项的错误。

解决方法 #

两种可行方案任选其一即可：

• 升级MinGW内置的GCC版本到7.1及以上，升级完成后重新执行编译操作即可正常运行
• 无需升级GCC的情况下，手动修改SPIN的默认编译参数，移除-Wformat-overflow=0配置项：
  1. 若使用iSpin图形界面，进入设置页面找到编译参数配置栏，删除对应参数后保存即可
  2. 若直接通过命令行调用SPIN，执行编译命令时手动剔除-Wformat-overflow=0参数即可

内容的提问来源于stack exchange，提问作者MathStudent