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的使用。