gcc - 自旋：gcc-4：错误：spawn：没有这样的文件或目录

Question

我想在 windows7-64 上使用 SPIN 模型检查器，并且我已经安装了它的所有先决条件。以下是我如何做到的程序

1. 我用 cygwin 安装了 gcc 编译器 .. 用命令提示符检查了更新的路径，它显示版本 4.9.2
2. 安装 Active Tcl .. 更新路径 .. 当我打开 ispin 时工作正常。
3. 更新了 ispin 目录的路径。
4. 只是一点技巧，还可以通过在 ispin 文件中给出 gcc.exe 的确切路径来检查。但是错误仍然相同。

但是当我尝试编译预先包含的示例文件（例如leader.pml）时，它给了我错误

spin: preprocessing failed
gcc-4: error: spawn: No such file or directory

有人可以告诉我我做错了什么和/或错过了什么吗？我该如何解决这个问题？

谢谢。

Answer 1

在 cygwin\bin 中，复制 gcc 两次，命名一个 gcc-3，另一个命名 gcc-4，但也将纯 gcc 保留在那里。