在Ubuntu 内安装spin

相关课程：协议分析与设计

虽然一些镜像仓库内提供了spin，并且可以直接使用apt 或者yum 安装，但其版本总不是最新的，而且无法使用ispin 图形界面。因此本文介绍了手动下载编译spin 的步骤，以及使用ispin 的方法。 

 

一、前期准备

系统采用了Ubuntu 18.04.3 LTS

建议更换国内镜像，参考：https://www.cnblogs.com/soowin/p/12008884.html

 

1、安装依赖

安装C语言编译器：

sudo apt install build-essential

可能需要输入一次用户密码 

2、安装tcl和tk：（可以在http://www.tcl-lang.org/ 查询最新版本安装）

sudo apt install tcl8.6 tk8.6

3、安装Yacc

sudo apt install flex bison

 

二、安装spin

1、下载spin（https://github.com/nimble-code/Spin）

2019年12月9日，最新版本为spin 6.5.2

2、解压zip文件，得到Spin-master文件夹

3、在文件夹内打开shell，确认当前目录为Spin-master文件夹

4、编译spin：

cd Src
make

5、测试是否编译成功：

./Src/spin -V

如果输出spin版本信息，则安装成功

6、将spin放入usr/bin

sudo cp Src/spin /usr/bin/spin

7、在任意位置（例如Gnome桌面上）打开shell，测试spin能否使用：

spin -V

如果输出spin版本信息，则配置成功

 

三、使用ispin

ispin是spin的一个图形程序

1、在Spin-master文件夹内，打开optional_GUI文件夹

2、在option_GUI文件夹内打开shell

3、运行：

wish ispin.tcl

4、如果出现ispin界面，则操作成功