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等一些工具,要的话参考官方文档进行安装