z3-java安装

https://www.ucloud.cn/yun/10716.html

 

git clone https://github.com/Z3Prover/z3.git

cd Z3
## 使用 --java 选项生成 Java Bindings
python scripts/mk_make.py --java

进入 build 文件夹并编译 Z3

cd build
## 根据 Z3 Makefile 中规定的内容进行编译, 生成的可执行文件放在当前目录或某个子目录
make 

将 make 生成的文件安装到系统目录中, 如/usr/bin, 这一步需要 root 权限

sudo make install

# 编辑环境变量文件
sudo gedit /etc/profile
# 在文件末尾追加一下内容
export Z3_HOME=${Z3安装路径}/build
export LD_LIBRARY_PATH=${Z3_HOME}:${LD_LIBRARY_PATH}
export CLASSPATH=${Z3_HOME}/com.microsoft.z3.jar:${CLASSPATH}
# 保存并关闭文件后输入以下命令, 使配置生效
source /etc/profile

##【千万不要在/etc/bash.bashrc里source /etc/profile】##
## 会让bash启动循环依赖啥的，已经有一台服务器为此光荣牺牲了，得开学去倒腾一下 :(