ubuntu18.04安装spin

linux系统-ubuntu18.04安装spin
参考链接：Ubuntu 18.04下安装SPIN教程
记录一下安装过程，参考了别人的安装，也有自己遇到的问题，在文章中列了出来。
1.下载安装包
参考链接中下载
2.安装依赖包（root权限下操作）

1.安装byacc
apt-get install byacc
2.安装tcl
apt-get install tcl
3.安装tk（在wish中）
apt-get install wish
（1）安装完wish后，查看wish所在目录：
whereis wish
(2)将wish拷贝到/usr/local/bin/目录：
cp /usr/bin/wish /usr/local/bin/
4.下载并安装tk：
apt-get install tk8.5
5.安装yacc，在make时候会用到
linux下是用flex和bison来分别代替lex和yacc的，安装直接使用命令： 
sudo apt-get install flex bison
6.apt-get install pan
7.安装libc6-dev
因为在./configure时，出现C compiler error, create executeables。
这是因为缺少gcc编译后链接C函数库(libc)所需的包 libc6-dev。
sudo apt-get install libc6-dev

在安装依赖包过程中遇到这个问题：

提示该锁被占用，解决办法：
在root权限下：

rm /var/lib/dpkg/lock-frontend
apt-get install net-tools

3.安装spin

（1）解压下载的压缩包

tar -zxvf spin649.tar.gz

（2）进入源码目录

cd Spin/Src*

（3）编译源码

make

完成后发现该目录下多了一个可执行文件spin

拷贝编译好的spin程序：

cp spin /usr/local/bin/

使用命令

 ./spin

4.安装ISPIN（图形化的spin工具）

进入spin下的ipin目录：

cd Spin/iSpin
查看该目录下文件的可读写执行的情况
ls -l 

使install.sh文件变为可执行
chmod a+x install.sh
 sudo ./install.sh 

最后使用命令

ispin

安装成功！！

5.简单测试

点击Open，打开源码目录下的“Examples”目录，选择名为“abp.pml”的协议描述文件并打开


左侧为代码预览和编辑窗口，点击上方的“Syntax Check”可以进行语法检测。

选择上方“Simulate / Replay”栏，设置模式为随即执行，执行次数为200步后，点击“(Re)Run”开始模拟，结果如图所示。