diff --git a/.circleci/config.yml b/.circleci/config.yml index 6c7a6b6bd54a..fb0098d52b2b 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -496,7 +496,7 @@ defaults: - base_osx: &base_osx macos: - xcode: "15.0.0" + xcode: 15.4.0 resource_class: macos.m1.medium.gen1 environment: &base_osx_env TERM: xterm diff --git a/.circleci/osx_install_dependencies.sh b/.circleci/osx_install_dependencies.sh index d868cef1ea3b..19c50fcceaa3 100755 --- a/.circleci/osx_install_dependencies.sh +++ b/.circleci/osx_install_dependencies.sh @@ -48,8 +48,6 @@ function validate_checksum { if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies then - brew uninstall temurin17 - brew untap homebrew/homebrew-cask-versions brew update brew upgrade # brew install cmake @@ -63,7 +61,7 @@ then # install historical cmake chmod +x .circleci/install_cmake.sh - .circleci/install_cmake.sh 3.28.3 + .circleci/install_cmake.sh 3.29.3 # boost boost_version="1.84.0"