Linux下模型化檢測工具spin的安裝

首先，在http://spinroot.com/spin/Src/index.html 下載，選擇這個：

然後在文件夾中解壓，得到Spin文件夾

命令行cd進入進入其中的Src6.4.8目錄，使用命令make

make

成功之後，ls 會看到一個名爲spin的可執行文件，使用命令chmod 777 spin。把spin複製到usr/bin目錄下。

ls
chmod 777 spin
sudo cp spin usr/bin/spin

如果沒有成功，報錯了，說明你沒有安裝yacc

sudo apt-get install yacc

然後是進入到iSpin文件夾下，使install.sh變爲可執行文件

cd ../
cd iSpin
chmod a+x install.sh

運行install

sudo ./install.sh

(一定要加sudo，因爲會在usr/bin目錄生成可執行文件ispin.)
然後執行ispin 沒有意外的話，是會報錯的。

執行一下操作：

sudo apt-get install tcl
sudo apt-get install tk=8.4
sudo apt-get install wish

然會就可以了

ispin