模型检测工具spin在ubuntu下的安装方法
来源:互联网 发布:only网络营销策划方案 编辑:程序博客网 时间:2024/05/16 13:00
1、下载Linux版本的spin:http://spinroot.com/spin/Src/index.html
2、下载并安装byacc:
sudo apt-get install byacc
3、下载并安装tcl:
sudo apt-get install tcl
4、下载并安装tk:
sudo apt-get install tk8.5
5、安装spin:
进入下载spin的文件夹,按照如下命令安装
gunzip *.tar.gz
tar -xf *.tar
cd Src*
make # or, on older distributions: make -f make_unix
cp spin /usr/bin/spin
chmod 777 spin
sudo apt-get install graphviz //可以图形化显示运行结果
sudo apt-get install pan
6、安装ispin:
把下载的ispin**.tcl拷贝到/usr/bin 目录下,并该名为ispin.tcl:cp ispin**.tcl /usr/bin/ispin
更改ispin的权限:chmod 777 ispin
7、通过shell脚本安装
sudo ./install.shell
8.终端下运行ispin即可。
注:通过Readme.txt安装即可;
若前5步出现问题实在解决不了,可以不用下载源码然后make,直接下载二进制代码就可以http://spinroot.com/spin/Bin/index.html下载,ispin安装方法一样
- 模型检测工具spin在ubuntu下的安装方法
- 自动模型检测—模型检测工具SPIN安装使用
- 如何在linux系统下安装spin
- JDK在ubuntu下的安装方法
- ubuntu在win下安装的方法
- ubuntu下安装c++检测工具perf
- Ubuntu 内存泄漏检测工具Valgrind的安装
- Ubuntu 内存泄漏检测工具Valgrind的安装
- SPIN的安装问题
- 在Ubuntu下安装VMware Tools的方法
- KBS 在 ubuntu 8.04 下的安装方法
- 在ubuntu下安装.bin文件JDK的方法
- 在ubuntu 12.04下安装lamp的简单方法
- 在windows下安装ubuntu 12.04的方法
- 在ubuntu 下安装wine qq2013的方法
- 在Ubuntu下安装*.sh和*.bin的简单方法。
- 在VirtualBox下安装Ubuntu的调整分辨率方法
- 在Ubuntu下安装VMware Tool的方法
- 程序员面试题精选100题(04)-二元树中和为某一值的所有路径
- strcpy_s与strcpy安全性的比较(转载)
- 偷懒的唯一办法是不偷懒之批处理
- 【算法】MD5加密算法
- 探寻影响业务性能的隐形杀手——TCP Nagle算法、延迟确认及窗口大小故障分析案例
- 模型检测工具spin在ubuntu下的安装方法
- 内存管理文章
- jsp课程(4)---JSP标签
- C/C++开发语言系列之13---C++对象指针—指向对象的指针
- EXE程序间通信利器--命名管道(1):基础知识及管道实例
- Flex特效使用大全
- 挂钩 NtResumeThread 实现全局Hook .
- java swing 单击事件mouseClicked与一般事件actionPerformed区别
- Java正则表达式中分割“.”的问题: