模型检测工具spin在ubuntu下的安装方法

1、下载Linux版本的spin：http://spinroot.com/spin/Src/index.html

2、下载并安装byacc：

sudo apt-get install byacc

3、下载并安装tcl：

sudo apt-get install tcl

4、下载并安装tk：

sudo apt-get install tk8.5

5、安装spin：

进入下载spin的文件夹，按照如下命令安装

gunzip *.tar.gz

tar -xf *.tar

cd Src*

make # or, on older distributions: make -f make_unix

cp spin /usr/bin/spin

chmod 777 spin

sudo apt-get install graphviz //可以图形化显示运行结果

sudo apt-get install pan

6、安装ispin：

把下载的ispin**.tcl拷贝到/usr/bin 目录下，并该名为ispin.tcl：cp ispin**.tcl /usr/bin/ispin

更改ispin的权限：chmod 777 ispin

7、通过shell脚本安装

sudo ./install.shell

8.终端下运行ispin即可。

注:通过Readme.txt安装即可；

若前5步出现问题实在解决不了，可以不用下载源码然后make，直接下载二进制代码就可以http://spinroot.com/spin/Bin/index.html下载，ispin安装方法一样