Spin:gcc-4:错误：spawn:没有这样的文件或目录_Gcc_Spin_Model Checking

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

gcc

Spin:gcc-4:错误：spawn:没有这样的文件或目录,gcc,spin,model-checking,Gcc,Spin,Model Checking,我想在windows7-64上使用SPIN model checker，我已经安装了它的所有必备组件。下面是我是如何做到这一点的我用cygwin安装了gcc编译器。。使用命令检查更新的路径提示显示版本4.9.2 已安装活动Tcl。。更新的路径。。当我打开ispin时工作正常。还使用ispin目录更新了路径。这只是一个小技巧，也可以通过在ispin文件中给出gcc.exe的确切路径来检查。但错误依然存在。但是，当我试图编译预先包含的示例文件（例如leader.pml）时，它给出了错误 s

我想在windows7-64上使用SPIN model checker，我已经安装了它的所有必备组件。下面是我是如何做到这一点的

我用cygwin安装了gcc编译器。。使用命令检查更新的路径提示显示版本4.9.2 已安装活动Tcl。。更新的路径。。当我打开ispin时工作正常。还使用ispin目录更新了路径。这只是一个小技巧，也可以通过在ispin文件中给出gcc.exe的确切路径来检查。但错误依然存在。但是，当我试图编译预先包含的示例文件（例如leader.pml）时，它给出了错误

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

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

谢谢。

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

您确定为gcc可执行文件配置了正确的名称吗？你没说gcc-4？您确定路径中有gcc-4可执行文件吗？是否使用/usr/bin/gcc中的gcc？在目录C:\cygwin64\bin中，它显示的是gcc.exe，而不是gcc-4。我尝试将gcc.exe更改为gcc-4.exe，但没有解决问题。。。包裹不见了。尝试安装gcc-mingw-g++或其他东西