2019-04-08安装smack一系列

花了三天才把smack装好，记录一下过程

系统环境要求

截图自github

1.首先装LLVM+Clang，开始装了其他版本，似乎必须是3.9.1

教程连接：http://www.linuxfromscratch.org/blfs/view/8.0/general/llvm.html

教程里把Clang备成可选了，开始没注意看，后面想补装不行。必须开始就一起装。时间很长。。

2.装Python 不用说了，注意pip和python版本对应

3.装Mono 

按照官网教程装，开始没有按照官网教程，装了mono-complete，后面编译boogie的时候出错。

4.z3问题不大，按照github来就好，时间也有点长

5.Boogie

安装第一句命令cd /path/to/repository 不用管，直接下载nuget.exe就ok

注意：ln -s /usr/bin/z3 Binaries/z3.exe 这句话不要掉

6.Corral

下载Corral的zip后，要点github目录里的boogie，点进去下载，再复制到corral的boogie下

Corral github界面

再按照操作来

最后ln -s ${Z3_DIR}/install/bin/z3 ${CORRAL_DIR}/bin/Debug/z3.exe

不要太死板完全按照这个来，因为我的z3目录里没有install和bin

我是按照boogie安装里 链接到/usr/bin下的z3执行文件

即ln -s /usr/bin/z3 /home/$myname/corral/bin/Debug/z3.exe

就绪之后

安装smack

按照github上一步步来

然后

要在用户目录里找到.profile文件（用ls -a可以看到隐藏文件）

在最后面加上这两句话

export BOOGIE="mono /home/$myname/boogie/Binaries/Boogie.exe"

export CORRAL="mono /home/$myname/corral/bin/Debug/corral.exe"