如何在Mac上使用VScode运行Prover9
背景:mac上安装不了可视化Prover9,使用命令行又操作繁琐,于是乎另辟蹊径——使用VScode运行.p9文件。
操作步骤
1.下载Prover9(LADR-2009-11A.tar.gz)
链接:https://www.cs.unm.edu/~mccune/prover9/download/
解压并放入此路径下:Users/这里填你的用户名/
2.打开终端(terminal)
cd 到 Users/你的用户名/LADR-2009-11A
即Navigate to the unzipped folder and then use the ‘make all’ command to compile the files
然后依次输入以下命令:
- make all
- make test1
- make test2
- make test3
Once done compiling, it will prompt you to run the software tests (to make sure everything is ok).
3.仍是终端(terminal)
输入以下命令:
- open ~/.bash_profile
- 在文件中添加export PATH="/Users/这里填你的用户名/LADR-2009-11A/bin:$PATH",然后保存
- source ~/.bash_profile
- open ~/.zshrc
- 在文件中添加export PATH="/Users/这里填你的用户名/LADR-2009-11A/bin:$PATH",然后保存
- source ~/.zshrc
4.配置VScode
- 下载并安装VScode,链接:https://code.visualstudio.com/Download
- 打开vscode,点击1图标,然后搜索框中搜索2中的两个扩展
- 点击左下角设置突变,然后点击菜单栏第一条(蓝色)
- 搜索框搜setting,选择图示item