prism model check 的环境安装设置
来源:互联网 发布:知乎炸鱼为业 编辑:程序博客网 时间:2024/05/22 15:28
prism model check 目前只支持32位的windows,当然linux和OS是32和64位都可以。
下载地址:http://www.prismmodelchecker.org/download.php
所以想要在64位的系统下运行prism就必须设置32位的java环境。
1. 我先把prism下载下来,在装之前左键点击安装图标-->属性-->兼容性-->勾选“以兼容模式运行这个程序”
2. 接着安装prism,注意prism不要装在C盘下,其他盘的路径都可以
3. 然后开始装32位的jdk,装好以后进行环境配置。配置好后我用cmd检查 java -version, 确实装上了。
再用java -d32检查,却出现了这个语句:
This Java instance does not support a 32-bit JVM
意思就是现在运行的java程序不支持32位的jvm
我试了试打开prism失败了,说明32位没配上,倒回去看了看java -version,发现了这个语句:
Java HotSpot(TM) 64-Bit Server VM (build 24.51-b03, mixed mode)
那其实就是jdk还是在用64位的,可是我检查了环境变量的各种路径,都是指向32位的jdk
于是我尝试把64位的jdk给卸载了,用java -d32检测,显示正常,prism也可以使用了。
4. 所以其实在原有的64位jdk的环境下装32位的jdk,就算是改了环境路径,但是如果没有把64位jdk卸了,32位的jdk还是没有被使用,java程序还是被默认使用64位jdk
0 0
- prism model check 的环境安装设置
- Prism的下载和安装 MVVM
- 使用poewerdesigner的check model问题
- Ubuntu 下安装Prism
- PRISM 下载安装
- Powerdesigner之Check Model
- powerdesiger check model意义
- Prism
- prism
- ndk安装与eclipse环境的设置
- 关于python环境的一些安装设置
- Windows环境下的golang的环境安装和设置
- 设置check-box的指定值
- Linux环境下text model与X model的切换
- Hadoop环境安装设置
- delphi prism 的破解方法
- Prism安装、MVVM基础概念及一个简单的样例
- c check的安装和使用
- HDU:2277 Change the ball(水)(数学)
- css样式
- 标准类的写法
- 多线程:调度组
- MVC 列表分页 Partial内容页
- prism model check 的环境安装设置
- 用TCL(工具命令语言)管理Tornado (for VxWorks) 可启动工程
- JAVA大数据运算系列之大整数相乘
- 设计模式之工厂三姐妹解读(一)
- 轻松使用Nginx搭建web服务器
- android开发中遇到的安全问题
- 二叉树是否对称
- C++交换两个数总结
- 构建之法读后感