Windows7下SPIN6.2.6版本及ispin安装
1、 ispin是SPIN的最新图形化界面：
2、在Windows7下安装，需要准备以下软件：
1）在http://spinroot.com/spin/Src/index.html
网上下载Fulldistribution, with sources：spin626.tar.gz
解压后，里面文件内容：
2）下载cygwin软件，选择64位windows系统的。打开软件安装cygwin：
选择安装目录
一路下一步，
网络连接方式根据你的网络链接状态设置
随便选择连接下载的镜像网站：
下面是重点，需要选择相应的安装组件：
A、选择橘色框部分，展开
展开后，没有选中的组件是状态的，当要选择时，单击该项即可。
分别选择：binutils、bison、byacc
(选中时)，所有选中项会由skip状态变为先关版本信息：
继续选择：
继续选择：make
退到上一层，选择展开x11选项：
继续选择：下面2项
然后，退回上层，搜素m4
在结果中选择安装
点击下一步，等待安安装完成（久一些）。
最后选择创建桌面和开始菜单文件，完成安装。
打开开始菜单中的所有程序，会新增加：
3）安装完cygwin后，在系统盘（C盘）会有文件夹，进入：c:/cygwin64/bin中，将第一步已解压的SPIN文件夹复制进来，并改名为Spin1。
进入Spin1文件夹中的iSpin文件夹，复制ispin.tcl至外面的bin目录中，并去掉.tcl后缀。
接着对SPIN的源代码进行编译：
安装完cygwin后，先在windows7命令行运行：C:>set CYGWIN=ttynotitle glob，然后再打开cygwin终端。
打开cygwin的控制台程序：
首先输入命令：export DISPLAY=:0.0
接着进入到spin源码目录中c:/cygwin64/bin/spin1/src
然后进行make：
make–f makefile
成功后，src目录里会产生spin.exe，将其复制到bin目录中。
在开始菜单中打开Cygwin-X
在出来的界面敲入命令：startx
等出现下面界面后
再回到：
敲入ispin,
则图形界面会出现
然后就可以在该界面下进行SPIN的使用。