旋转：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。