From 1cb04e84d9aae0269038827cc821186bbae1b2f9 Mon Sep 17 00:00:00 2001 From: r0qs Date: Mon, 11 Sep 2023 12:31:42 +0200 Subject: [PATCH] Upgrade homebrew packages MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Kamil Úliwak --- .circleci/osx_install_dependencies.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.circleci/osx_install_dependencies.sh b/.circleci/osx_install_dependencies.sh index 5e779700c..8e795b1dc 100755 --- a/.circleci/osx_install_dependencies.sh +++ b/.circleci/osx_install_dependencies.sh @@ -52,6 +52,8 @@ function validate_checksum { if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies then + brew update + brew upgrade brew install boost brew install cmake brew install wget