• centos下Spin Version 6.3.2及ispin安装(2014.9.17)


    centosSpin Version 6.3.2ispin安装(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.13bison-2.4.1flex-2.5.35libpcap-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等一些工具,要的话参考官方文档进行安装

  • 相关阅读:
    http协议详解
    001http协议
    django整合版
    数据库整合版
    并发编程整合版
    网络编程整合版
    面向对象编程
    LeetCode OJ:Binary Tree Postorder Traversal(后序遍历二叉树)
    LeetCode OJ:Populating Next Right Pointers in Each Node II(指出每一个节点的下一个右侧节点II)
    LeetCode OJ:Populating Next Right Pointers in Each Node(指出每一个节点的下一个右侧节点)
  • 原文地址:https://www.cnblogs.com/freeopen/p/5483039.html
Copyright © 2020-2023  润新知