如何在circleci中安装最新的z3版本

Question

默认Z3版本圆圈太旧(apt-get install z3给出z3-4.4.1(我也尝试在config.yml中添加以下内容，但它没有在路径上安装z3。还有其他建议吗？任何来自使用新版z3的现有圆圈设置的链接都将不胜感激！

谢谢，Niki

- run: 
name: Install z3 
command: |
wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-x64-osx-10.14.6.zip
unzip z3-4.8.7-x64-osx-10.14.6.zip
rm -f z3-4.8.7-x64-osx-10.14.6.zip
cp z3-4.8.7-x64-osx-10.14.6/bin/libz3.a /usr/local/lib
cp z3-4.8.7-x64-osx-10.14.6/bin/z3 /usr/local/bin
cp z3-4.8.7-x64-osx-10.14.6/include/* /usr/local/include
rm -rf z3-4.8.7-x64-osx-10.14.6

Answer 1

我搞定了！需要wgetubuntu而不是osx版本！