diff --git a/.circleci/config.yml b/.circleci/config.yml index d893a3b66..1c0191216 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -296,14 +296,15 @@ defaults: - base_osx: &base_osx macos: - xcode: "13.2.0" + xcode: "14.2.0" + resource_class: macos.x86.medium.gen2 environment: TERM: xterm MAKEFLAGS: -j5 - base_osx_large: &base_osx_large macos: - xcode: "13.2.0" + xcode: "14.2.0" resource_class: large environment: TERM: xterm diff --git a/.circleci/osx_install_dependencies.sh b/.circleci/osx_install_dependencies.sh index e523746f0..45a54838a 100755 --- a/.circleci/osx_install_dependencies.sh +++ b/.circleci/osx_install_dependencies.sh @@ -52,7 +52,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 unlink python brew install boost brew install cmake brew install wget