Spin Version 6.3.2 and Ispin installation under CentOS (2014.9.17)

CentOS spin Version 6.3.2 and Ispin installation (2014.9.17)

Preface: WinDOS Install the virtual machine First, then install the Linux system (CentOS version)

A This post from the official website http://spinroot.com/spin/Man/README.html installation step, and Linux under the installation of some problems to solve

two. Put spin632.tar.gz (available to Spin sourcedistribution download) into a folder

Here I put in the/home folder

In the Linux terminal window, enter the following command:

Cd/home

gunzip *.tar.gz

tar-xf *.tar

CD src*

Make

(The above * stands for any, no, please change it to the specific name on the path)

If make errors, such as YACC can not find the error, that is, Linux is not installed Libpcap

Next we need to take a third step

three. Install Libpcap under Linux

1. Open URL: www.tcpdump.org/Download the libpcap-1.0.0.tar.gz (512.0KB) package, unzip the file by command tar zxvf libpcap-1.0.0.tar.gz and put it into a custom installation directory.

2. Open the URL: flex.sourceforge.net/Download the flex-2.5.35.tar.gz (1.40MB) package, unzip the file via tar zxvf flex-2.5.35.tar.gz and put it in the above custom installation directory.

Note: If you do not compile and install this file, the configure:error:Youroperating system's Lex is insufficient to compile libpcap will appear when you compile and install Libpcap. The error prompt.

3. Open the URL: ftp.gnu.org/gnu/bison/Download the bison-2.4.1.tar.gz (1.9MB) package, unzip the file via tar zxvf bison-2.4.1.tar.gz and put it in the above custom installation directory.

Note: If you do not compile and install this file, the "Configure:WARNING:don ' t has both flex and bison will appear when you compile and install libpcap; Revertingto LEX/YACC checking for capable lex ... insufficient "error message.

4. Open the URL: ftp.gnu.org/gnu/m4/Download the m4-1.4.13.tar.gz (1.2MB) package, unzip the file via tar zxvf m4-1.4.13.tar.gz and put it in the above custom installation directory.

Note: If you do not compile and install this file, the "Configure:error:GNU M4 1.4 is required" error message appears when you compile and install bison-2.4.1.

5. then go to directory m4-1.4.13,bison-2.4.1,flex-2.5.35,libpcap-1.0.0 and execute the following command:

(sudo)./configure

(sudo) make

(sudo) make install

Four. After the third step, you can re-make the second step, notice the directory or the second step of the directory

Enter make

Five. Copy the Spin under/HOME/SPIN/SRC6.3.2/to/usr/bin

Enter the terminal, SPIN–V will appear the version information, installed here

Here you can write a Promela program on the desktop, named **.PML

Enter the command line input spin **.PML to get output results

Six. Installing Ispin

Open/home/spin/ispin, you can see that there is a install.sh is the installation script

Enter Terminal Cd/home/spin/ispin

Input sh install.sh

Installation Successful

Input Ispin popup Ispin graphical interface

You can also access specific documents

input ISPINSPIN/EXAMPLES/HELLO.PML

 

Seven. There is no installation of the TCL/TK Tool Control Language pack, and some tools such as DOT, if you want to refer to the official documentation for installation