osx_install_dependencies.sh: Update brew explicitly to workaround auto-update issue on CircleCI

- Old versions have problems with binaries hosted on bintray. We need an up-to-date one.
- It automatically updates itself when we install boost but apparently there's a problem with that on CircleCI. An explicit update works.
This commit is contained in:
Kamil Śliwak 2021-04-19 16:07:29 +02:00
parent 1c556d0aaa
commit e76ef821a7

View File

@ -37,6 +37,7 @@ set -eu
if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies
then then
brew update
brew unlink python brew unlink python
brew install boost brew install boost
brew install cmake brew install cmake