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

Question

默认的Z3版本圈子太旧（apt-get install z3给出z3-4.4.1）我也尝试在config.yml中添加以下内容，但未在路径中安装z3。还有其他建议吗？来自现有圈子设置的使用z3新版本的任何链接都将受到赞赏！

谢谢，妮基

      - 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

我知道了！需要wget ubuntu而不是osx版本！