diff --git a/apps/installer/includes/os_configs/osx.sh b/apps/installer/includes/os_configs/osx.sh index b7c9bc14665c7..d3b2a0c0db844 100644 --- a/apps/installer/includes/os_configs/osx.sh +++ b/apps/installer/includes/os_configs/osx.sh @@ -22,6 +22,8 @@ rm /usr/local/bin/python3.11-config || true rm /usr/local/bin/python3.12-config || true ########################################## +brew cleanup + brew update ########################################## @@ -31,4 +33,4 @@ if ! command -v cmake &>/dev/null ; then fi ########################################## -brew install openssl@3 readline boost bash-completion curl unzip mysql ccache +brew install z3 openssl@3 readline boost bash-completion curl unzip mysql ccache