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