title: Spin: gcc-4: error: spawn: No such file or directory
body: <p>I want to use SPIN model checker on windows7-64 and I have installed all the prerequisites of it. Below is the procedure how I did it</p>
  
  <ol>
  <li>I installed gcc compiler with cygwin .. updated path checked with command
  prompt it shows version 4.9.2</li>
  <li>Installed Active Tcl .. updated path .. works fine when I open ispin.</li>
  <li>Updated path with ispin directory as well.</li>
  <li>Just a bit of trick, also check by giving exact path of gcc.exe inside ispin file. But the error remained same.</li>
  </ol>
  
  <p>But when I try to compile pre included example files (e.g leader.pml), it gives me the error</p>
  
  <pre><code>spin: preprocessing failed
  gcc-4: error: spawn: No such file or directory
  </code></pre>
  
  <p>Can someone please tell me what am I doing wrong and/or missing ? and how can I fix this ?</p>
  
  <p>Thanks.</p>