安装并启用ispin

结合百度文库里面《SPIN安装步骤》和《SPIN安装及模型验证实验报告》两篇文章可以知道安装了cygwin后应该勾选什么选项，最好把有gcc-core和gcc-g++，还有x11里面的都装上，启用ispin是打开cygwin终端，输入startx，然后在出来的小窗口里面输入ispin即可。