旋转: gcc-4:错误:产卵:没有这样的文件或目录。

Question

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

1. 我用cygwin安装了gcc编译器。使用命令提示符检查更新的路径，它显示版本4.9.2
2. 已安装活动Tcl。更新路径..。当我打开ispin的时候工作得很好。
3. 更新路径与ispin目录以及。
4. 只是一点小窍门，也可以通过给出gcc.exe在ispin文件中的精确路径进行检查。但错误依然存在。

但是，当我试图编译预包含的示例文件(例如leader.pml)时，它会给出错误

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

有人能告诉我我做错了什么和/或丢失了什么吗？我怎么才能解决这个问题？

谢谢。

Answer 1

在锡格温\宾，抄袭gcc两次，名字分别是gcc-3，另一位是gcc-4，但也留下了朴素的老样子。