Windows10下Spin模型检查与协议验证工具安装教程

教程背景

笔者最近学习网络协议相关内容，在寻找协议验证工具的过程中，了解到Spin这款工具，经过一晚的资料查找，终于安装完成并成功运行。
因为网上的相关教学偏少且老旧，工具官网的说明有不够清晰且未及时更新，故作此教程，希望让有需要的朋友少走弯路。

安装前准备

配置gcc（c编译环境）

确保电脑上已经配置好c语言编译环境，对于Windows10系统下也可理解为确保已安装Mingw-w64。检查方式，打开命令行，输入gcc -v，出现如图反馈，则说明gcc配置无误。

配置Tcl开发环境

进入ActiveTcl官网，选择下载ActiveTcl 8.6。