centos下Spin Version 6.3.2及ispin安裝(2014.9.17)

centos下Spin Version 6.3.2及ispin安裝(2014.9.17)

 

前言：windos下首先安裝虛擬機器，再安裝linux系統(centos版)

一．本帖來源於官網http://spinroot.com/spin/Man/README.html的安裝步奏，並對linux下安裝出現的一些問題進行解決

 

二．將spin632.tar.gz（可到 Spin SourceDistribution下載）放入一個檔案夾

這裡我放入了/home檔案夾下

在linux終端視窗輸入以下命令：

cd /home

gunzip *.tar.gz

tar -xf *.tar

cd Src*

make

(上面的*代表任意，不行請自己更改成路徑下具體名)

如make出現錯誤，如yacc找不到的錯誤，那就是linux沒裝libpcap

接下來需要進行第三步

 

三．Linux下安裝libpcap

1、開啟網址：www.tcpdump.org/ 下載 libpcap-1.0.0.tar.gz(512.0KB) 軟體包，通過命令 tar zxvf libpcap-1.0.0.tar.gz 解壓檔案，並將其放入自訂的安裝目錄。

2、開啟網址：flex.sourceforge.net/下載 flex-2.5.35.tar.gz (1.40MB) 軟體包，通過 tar zxvf flex-2.5.35.tar.gz 解壓檔案，並將其放入上述自訂的安裝目錄中。

　  註：如果沒有編譯安裝此檔案，在編譯安裝libpcap時，就會出現 “configure: error: Youroperating system's lex is insufficient to compile libpcap.”的錯誤提示。

3、開啟網址：ftp.gnu.org/gnu/bison/ 下載 bison-2.4.1.tar.gz (1.9MB) 軟體包，通過 tar zxvf bison-2.4.1.tar.gz 解壓檔案，並將其放入上述自訂的安裝目錄中。

　 註：如果沒有編譯安裝此檔案，在編譯安裝libpcap時，就會出現 "configure: WARNING: don't have both flex and bison; revertingto lex/yacc checking for capable lex... insufficient" 的錯誤提示。

4、開啟網址：ftp.gnu.org/gnu/m4/ 下載 m4-1.4.13.tar.gz (1.2MB)軟體包，通過 tar zxvf m4-1.4.13.tar.gz 解壓檔案，並將其放入上述自訂的安裝目錄中。

　 註：如果沒有編譯安裝此檔案，在編譯安裝bison-2.4.1時，就會出現 “configure: error: GNU M4 1.4 is required”的錯誤提示。

5、而後依次進入目錄m4-1.4.13，bison-2.4.1，flex-2.5.35，libpcap-1.0.0 並執行以下命令：

　　(sudo) ./configure

　　(sudo) make

(sudo) make install

 

四．第三步完成之後可進行第二步重新make，注意目錄還是要第二步的目錄

輸入make

 

五．將/home/Spin/Src6.3.2/下的spin拷貝到 /usr/bin

進入終端，spin –v 將出現版本資訊，這裡就安裝好了

這裡可以在案頭寫一個promela程式，命名為**.pml

進入命令列輸入spin **.pml便可得到輸出結果

六．安裝ispin

開啟/home/Spin/iSpin，可以看到裡面有個install.sh便是安裝指令碼

進入終端cd /home/Spin/iSpin

輸入sh  install.sh

安裝成功

輸入 ispin 彈出ispin圖形介面

也可進入具體檔案

輸入ispinSpin/Examples/hello.pml

 

七．這裡並沒有安裝tcl/tk工具控制語言包，和dot等一些工具，要的話參考官方文檔進行安裝