diff --git a/.circleci/osx_install_dependencies.sh b/.circleci/osx_install_dependencies.sh index 2409cbad7..064680139 100755 --- a/.circleci/osx_install_dependencies.sh +++ b/.circleci/osx_install_dependencies.sh @@ -43,13 +43,13 @@ then ./scripts/install_obsolete_jsoncpp_1_7_4.sh # z3 - 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 + wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.8/z3-4.8.8-x64-osx-10.14.6.zip + unzip z3-4.8.8-x64-osx-10.14.6.zip + rm -f z3-4.8.8-x64-osx-10.14.6.zip + cp z3-4.8.8-x64-osx-10.14.6/bin/libz3.a /usr/local/lib + cp z3-4.8.8-x64-osx-10.14.6/bin/z3 /usr/local/bin + cp z3-4.8.8-x64-osx-10.14.6/include/* /usr/local/include + rm -rf z3-4.8.8-x64-osx-10.14.6 # evmone wget https://github.com/ethereum/evmone/releases/download/v0.4.0/evmone-0.4.0-darwin-x86_64.tar.gz