Windows7下SPIN6.2.6版本及ispin安装

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