自旋根目录找不到gcc文件

自旋根目录找不到gcc文件,gcc,Gcc,您好,我在spin root中启动pml文件时遇到问题。 当我尝试运行.pml文件时,我有一个错误(在cliced automata视图之后) 如果从spinroot安装了所有文件。通用域名格式 Windows 10 64位 iSpin Version 1.1.1 -- 23 February 2014 TclTk Version 8.5/8.5 1 C:/Users/snuq3/Desktop/pc_spin651 (1)/wordcount.pml:1 2 spin -o3 -a wordc

您好,我在spin root中启动pml文件时遇到问题。 当我尝试运行.pml文件时,我有一个错误(在cliced automata视图之后) 如果从spinroot安装了所有文件。通用域名格式 Windows 10 64位

iSpin Version 1.1.1 -- 23 February 2014
TclTk Version 8.5/8.5
1 C:/Users/snuq3/Desktop/pc_spin651 (1)/wordcount.pml:1
2 spin -o3 -a wordcount.pml
spin: preprocessing failed gcc -std=gnu99 -Wformat-overflow=0 -E -x c "wordcount.pml" > "pan.pre"
child process exited abnormally
3 C:/CodeBlocks/MinGW/bin/gcc.exe -o pan pan.c
gcc.exe: error: pan.c: No such file or directory
gcc.exe: fatal error: no input files
compilation terminated.
ispin文件:

#!/bin/sh
# The next line is executed by /bin/sh, but not tcl \
exec wish "$0" -- $*

## iSpin GUI -- http::/spinroot.com/
## (c) 2010 All Rights Reserved
## This software is for educational purposes only.
## No guarantee whatsoever is expressed or implied
## by the distribution of this code.

wm title . "ispin"
wm geometry . 1200x600+20+20

set xversion "iSpin Version 1.1.1 -- 23 February 2014"
set version "Spin Version unknown";   # updated below
set Unix 1;                           # updated below

### Tools
    set SPIN    spin   ;# essential
    set CC      "C:/CodeBlocks/MinGW/bin/gcc.exe" ;# essential
    set DOT     "C:/Program Files/Graphviz/bin/dot.exe" ;# recommended, for automata view
#   set DOT     "C:/Program\ Files\ \(x86\)/Graphviz2.36/bin/dot"
    set SWARM   swarm  ;# optional, for swarm verification panel
    set CURL    curl   ;# optional, for version check information