Mac如何安装prism【加更】

鉴于今天上课很多用MAC的同学都无法安装prism，就拜托朋友更新一波MAC如何安装软件的教程~

1. 从http://www.prismmodelchecker.org/download.php下载 Mac OS X (64-bit) binary

2. 下载完成后，去下载目录里双击刚刚下载的文件（一个以prism 开头的 .tar.gz 文件）

3. 然后会解压出来一个同名的文件夹，记住这个名字

4. 戳屏幕右上角附近的搜索图标，搜索Terminal 并打开

5. 键入 cd Downloads/X 把 X 换成你刚刚解压出来的那个文件夹的名字然后回车

6. 键入  ./install.sh 然后回车

7. 键入 ./bin/xprism 即可使用

 

(注：以后要使用的时候，只需要重复步骤 4 5 7 即可)

如果还有问题欢迎联系后台~