相关课程：协议分析与设计
虽然一些镜像仓库内提供了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界面，则操作成功