windows下协议验证工具spin6.4.9安装（Cygwin安装）

1、下载安装activetcl 

https://www.activestate.com/products/activetcl/downloads/

2、安装Cygwin

Cygwin官网地址：https://www.cygwin.com/

Cygwin包括了一套库，该库在Win32系统下实现了POSIX系统调用的API；还有一套GNU开发工具集（比如GCC、GDB）还有一些UNIX系统下的常见程序。另外还有一个名为MinGW的库，可以跟Windows本地的MSVCRT库（Windows API）一起工作。Cygwin库遵守GNU通用公共许可证，但也可以跟匹配开源定义的自由软件链接。

简单的讲，Cygwin就是在windows下能够运行Linux命令

安装时长大概一到几个小时不等，不如直接在Linux虚拟机下直接下载spin和ispin.tcl运行

打开安装程序选择从互联网安装

考虑到网络的一些问题，选用系统代理，用163的镜像源

163源为：http://mirrors.16