SPIN安装步骤

  • 格式:docx
  • 大小:292.28 KB
  • 文档页数:8

下载文档原格式

  / 8
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

Windows7下SPIN6.2.6版本及ispin安装

1、ispin是SPIN的最新图形化界面:

2、在Windows7下安装,需要准备以下软件:

1)在/spin/Src/index.html

网上下载Full distribution, 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的使用。