centos下Spin Version 6.3.2及ispin安装(2014.9.17)

centos下Spin
Version 6.3.2及ispin安装(2014.9.17)

前言：windos下首先安装虚拟机，再安装linux系统(centos版)

一．本帖来源于官网http://spinroot.com/spin/Man/README.html的安装步奏，并对linux下安装出现的一些问题进行解决

二．将spin632.tar.gz（可到
Spin SourceDistribution下载）放入一个文件夹

这里我放入了/home文件夹下

在linux终端窗口输入以下命令：

cd /home

gunzip *.tar.gz

tar -xf *.tar

cd Src*

make

(上面的*代表任意，不行请自己更改成路径下具体名)

如make出现错误，如yacc找不到的错误，那就是linux没装libpcap

接下来需要进行第三步

三．Linux下安装libpcap

1、打开网址：www.tcpdump.org/
下载 libpcap-1.0.0.tar.gz(512.0KB)
软件包，通过命令 tar zxvf libpcap-1.0.0.tar.gz
解压文件，并将其放入自定义的安装目录。

2、打开网址：flex.sourceforge.net/下载
flex-2.5.35.tar.gz (1.40MB) 软件包，通过 tar zxvf flex-2.5.35.tar.gz
解压文件，并将其放入上述自定义的安装目录中。

　 
注：如果没有编译安装此文件，在编译安装libpcap时，就会出现 “configure: error: Youroperating system's
lex is insufficient to compile libpcap.”的错误提示。

3、打开网址：ftp.gnu.org/gnu/bison/ 下载
bison-2.4.1.tar.gz (1.9MB) 软件包，通过 tar zxvf bison-2.4.1.tar.gz
解压文件，并将其放入上述自定义的安装目录中。

　 注：如果没有编译安装此文件，在编译安装libpcap时，就会出现 "configure: WARNING: don't have both flex and bison;
revertingto lex/yacc checking for capable lex... insufficient" 的错误提示。

4、打开网址：ftp.gnu.org/gnu/m4/ 下载
m4-1.4.13.tar.gz (1.2MB)软件包，通过 tar zxvf m4-1.4.13.tar.gz
解压文件，并将其放入上述自定义的安装目录中。

　 注：如果没有编译安装此文件，在编译安装bison-2.4.1时，就会出现 “configure: error: GNU M4 1.4 is required”的错误提示。

5、而后依次进入目录m4-1.4.13，bison-2.4.1，flex-2.5.35，libpcap-1.0.0
并执行以下命令：

　　(sudo) ./configure

　　(sudo) make

(sudo) make install

四．第三步完成之后可进行第二步重新make，注意目录还是要第二步的目录

输入make

五．将/home/Spin/Src6.3.2/下的spin拷贝到
/usr/bin

进入终端，spin –v
将出现版本信息，这里就安装好了

这里可以在桌面写一个promela程序，命名为**.pml

进入命令行输入spin **.pml便可得到输出结果

六．安装ispin

打开/home/Spin/iSpin，可以看到里面有个install.sh便是安装脚本

进入终端cd /home/Spin/iSpin

输入sh 
install.sh

安装成功

输入 ispin
弹出ispin图形界面

也可进入具体文件

输入ispinSpin/Examples/hello.pml

 

七．这里并没有安装tcl/tk工具控制语言包，和dot等一些工具，要的话参考官方文档进行安装