~ $ brew install fish ==> Auto-updating Homebrew... Adjust how often this is run with HOMEBREW_AUTO_UPDATE_SECS or disable with HOMEBREW_NO_AUTO_UPDATE. Hide these hints with HOMEBREW_NO_ENV_HINTS (see `man brew`). ==> Auto-updated Homebrew! Updated 2 taps (homebrew/core and homebrew/cask). ==> New Formulae act_runner eask-cli mcp-inspector ovsx chawan ghalint moodle-dl qrkey diagram kingfisher mpremote spice-server ==> New Casks accordance@13 font-parastoo thebrowsercompany-dia alienator88-sentinel font-uoqmunthenkhung vibemeter aloha-browser longbridge-pro yuanbao font-noto-sans-sunuwar music-presence You have 18 outdated formulae installed. Warning: You are using macOS 10.15. We (and Apple) do not provide support for this old version. This is a Tier 3 configuration: https://docs.brew.sh/Support-Tiers#tier-3 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> Fetching dependencies for fish: pkgconf, ncurses, pcre2, cmake, ca-certificates, openssl@3, libssh2, libgit2, mpdecimal, readline, sqlite, xz, lzip, expat, python@3.13, z3, lz4, zstd, ninja, swig, llvm and rust ==> Fetching pkgconf ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://distfiles.ariadne.space/pkgconf/pkgconf-2.4.3.tar.xz ######################################################################### 100.0% ==> Fetching ncurses ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/ncurses/ncurses-6.5.tar.gz ######################################################################### 100.0% ==> Fetching pcre2 ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/PCRE2Project/pcre2/releases/download/pcre2-10 ==> Downloading from https://objects.githubusercontent.com/github-production-rel ######################################################################### 100.0% ==> Fetching cmake ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/Kitware/CMake/releases/download/v4.0.3/cmake- ==> Downloading from https://objects.githubusercontent.com/github-production-rel ######################################################################### 100.0% ==> Fetching ca-certificates ==> Downloading https://ghcr.io/v2/homebrew/core/ca-certificates/manifests/2025- ######################################################################### 100.0% ==> Downloading https://ghcr.io/v2/homebrew/core/ca-certificates/blobs/sha256:dd ######################################################################### 100.0% ==> Fetching openssl@3 ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/openssl/openssl/releases/download/openssl-3.5 ==> Downloading from https://objects.githubusercontent.com/github-production-rel ######################################################################### 100.0% ==> Fetching libssh2 ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://libssh2.org/download/libssh2-1.11.1.tar.gz ######################################################################### 100.0% ==> Fetching libgit2 ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/libgit2/libgit2/archive/refs/tags/v1.9.1.tar. ==> Downloading from https://codeload.github.com/libgit2/libgit2/tar.gz/refs/tag -=O=- # # # # ==> Fetching mpdecimal ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://www.bytereef.org/software/mpdecimal/releases/mpdecimal-4 ######################################################################### 100.0% ==> Fetching readline ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2-patches/readline82 ######################################################################### 100.0% ==> Downloading https://ftp.gnu.org/gnu/readline/readline-8.2.tar.gz ######################################################################### 100.0% ==> Fetching sqlite ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://www.sqlite.org/2025/sqlite-autoconf-3500100.tar.gz ######################################################################### 100.0% ==> Fetching xz ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/tukaani-project/xz/releases/download/v5.8.1/x ==> Downloading from https://objects.githubusercontent.com/github-production-rel ######################################################################### 100.0% ==> Fetching lzip ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://download-mirror.savannah.gnu.org/releases/lzip/lzip-1.25 ######################################################################### 100.0% ==> Fetching expat ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/libexpat/libexpat/releases/download/R_2_7_1/e ==> Downloading from https://objects.githubusercontent.com/github-production-rel ######################################################################### 100.0% ==> Fetching python@3.13 ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://raw.githubusercontent.com/Homebrew/formula-patches/8b5bc ######################################################################### 100.0% ==> Downloading https://github.com/python/cpython/commit/15340775f8ded517e98604f ######################################################################### 100.0% ==> Downloading https://files.pythonhosted.org/packages/69/59/b6fc2188dfc7ea4f93 ######################################################################### 100.0% ==> Downloading https://files.pythonhosted.org/packages/59/de/241caa0ca606f2ec5f ######################################################################### 100.0% ==> Downloading https://files.pythonhosted.org/packages/18/5d/3bf57dcd21979b887f ######################################################################### 100.0% ==> Downloading https://files.pythonhosted.org/packages/8a/98/2d9906746cdc6a6ef8 ######################################################################### 100.0% ==> Downloading https://www.python.org/ftp/python/3.13.5/Python-3.13.5.tgz ######################################################################### 100.0% ==> Fetching z3 ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.15.1.tar.g ==> Downloading from https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3 ######################################################################### 100.0% ==> Fetching lz4 ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/lz4/lz4/archive/refs/tags/v1.10.0.tar.gz ==> Downloading from https://codeload.github.com/lz4/lz4/tar.gz/refs/tags/v1.10. ######################################################################### 100.0% ==> Fetching zstd ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/facebook/zstd/archive/refs/tags/v1.5.7.tar.gz ==> Downloading from https://codeload.github.com/facebook/zstd/tar.gz/refs/tags/ -=O=- # # # # ==> Fetching ninja ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/ninja-build/ninja/archive/refs/tags/v1.13.0.t ==> Downloading from https://codeload.github.com/ninja-build/ninja/tar.gz/refs/t ######################################################################### 100.0% ==> Fetching swig ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://downloads.sourceforge.net/project/swig/swig/swig-4.3.1/s ==> Downloading from https://gigenet.dl.sourceforge.net/project/swig/swig/swig-4 ######################################################################### 100.0% ==> Fetching llvm ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/llvm/llvm-project/releases/download/llvmorg-2 ==> Downloading from https://objects.githubusercontent.com/github-production-rel ######################################################################### 100.0% ==> Fetching rust ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/rust-lang/cargo/archive/refs/tags/0.88.0.tar. ==> Downloading from https://codeload.github.com/rust-lang/cargo/tar.gz/refs/tag -=O=- # # # # ==> Downloading https://static.rust-lang.org/dist/2025-04-03/rustc-1.86.0-x86_64 ######################################################################### 100.0% ==> Downloading https://static.rust-lang.org/dist/2025-04-03/cargo-1.86.0-x86_64 ######################################################################### 100.0% ==> Downloading https://static.rust-lang.org/dist/2025-04-03/rust-std-1.86.0-x86 ######################################################################### 100.0% ==> Downloading https://static.rust-lang.org/dist/rustc-1.87.0-src.tar.gz ######################################################################### 100.0% ==> Installing fish dependency: lzip Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> ./configure CXX=clang++ CXXFLAGS= ==> make check ==> make install ==> Downloading https://formulae.brew.sh/api/formula.jws.json 🍺 /usr/local/Cellar/lzip/1.25: 11 files, 209.9KB, built in 8 seconds ==> Fetching dependencies for fish: pkgconf, ncurses, pcre2, cmake, openssl@3, libssh2, libgit2, mpdecimal, readline, sqlite, xz, expat, python@3.13, z3, lz4, zstd, ninja, swig, llvm and rust ==> Fetching fish ==> Downloading https://raw.githubusercontent.com/Homebrew/homebrew-core/229b23e ######################################################################### 100.0% ==> Downloading https://github.com/fish-shell/fish-shell/releases/download/4.0.2 ==> Downloading from https://objects.githubusercontent.com/github-production-rel ######################################################################### 100.0% Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> Installing dependencies for fish: cmake, ca-certificates, openssl@3, libssh2, pkgconf, libgit2, mpdecimal, readline, sqlite, xz, expat, python@3.13, z3, lz4, zstd, ninja, pcre2, swig, llvm, rust and ncurses ==> Installing fish dependency: cmake Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> ./bootstrap --prefix=/usr/local/Cellar/cmake/4.0.3 --no-system-libs --parall ==> make ==> make install 🍺 /usr/local/Cellar/cmake/4.0.3: 3,870 files, 62.9MB, built in 7 minutes 20 seconds ==> Installing fish dependency: ca-certificates ==> Downloading https://ghcr.io/v2/homebrew/core/ca-certificates/manifests/2025- Already downloaded: /Users/fschmidt/Library/Caches/Homebrew/downloads/bc18acc15e0abddc102f828b57a29cfdbec1b6b002db37ad12bad9dbf0e9d12f--ca-certificates-2025-05-20.bottle_manifest.json ==> Pouring ca-certificates--2025-05-20.all.bottle.tar.gz ==> Regenerating CA certificate bundle from keychain, this may take a while... 🍺 /usr/local/Cellar/ca-certificates/2025-05-20: 4 files, 225.8KB ==> Installing fish dependency: openssl@3 Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> Downloading https://formulae.brew.sh/api/formula.jws.json ==> perl ./Configure --prefix=/usr/local/Cellar/openssl@3/3.5.0 --openssldir=/us ==> make ==> make install MANDIR=/usr/local/Cellar/openssl@3/3.5.0/share/man MANSUFFIX=ss ==> make HARNESS_JOBS=12 test TESTS=-test_afalg 🍺 /usr/local/Cellar/openssl@3/3.5.0: 7,554 files, 35.9MB, built in 4 minutes 56 seconds ==> Installing fish dependency: libssh2 Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> ./configure --disable-silent-rules --disable-examples-build --with-openssl - ==> make install 🍺 /usr/local/Cellar/libssh2/1.11.1: 201 files, 1.2MB, built in 15 seconds ==> Installing fish dependency: pkgconf Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> ./configure --disable-silent-rules --with-pkg-config-dir=/usr/local/lib/pkgc ==> make ==> make install 🍺 /usr/local/Cellar/pkgconf/2.4.3: 27 files, 340.7KB, built in 10 seconds ==> Installing fish dependency: libgit2 Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> cmake -S . -B build -DBUILD_SHARED_LIBS=ON -DBUILD_EXAMPLES=OFF -DBUILD_TEST ==> cmake --build build ==> cmake --install build ==> cmake -S . -B build-static -DBUILD_SHARED_LIBS=OFF -DBUILD_EXAMPLES=OFF -DBU ==> cmake --build build-static 🍺 /usr/local/Cellar/libgit2/1.9.1: 109 files, 4.8MB, built in 37 seconds ==> Installing fish dependency: mpdecimal Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> ./configure ==> make ==> make install 🍺 /usr/local/Cellar/mpdecimal/4.0.1: 22 files, 575.7KB, built in 10 seconds ==> Installing fish dependency: readline Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> Patching ==> Applying readline82-001 ==> Applying readline82-002 ==> Applying readline82-003 ==> Applying readline82-004 ==> Applying readline82-005 ==> Applying readline82-006 ==> Applying readline82-007 ==> Applying readline82-008 ==> Applying readline82-009 ==> Applying readline82-010 ==> Applying readline82-011 ==> Applying readline82-012 ==> Applying readline82-013 ==> ./configure --with-curses ==> make install SHLIB_LIBS=-lcurses 🍺 /usr/local/Cellar/readline/8.2.13: 51 files, 1.6MB, built in 17 seconds ==> Installing fish dependency: sqlite Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> ./configure --enable-readline --disable-editline --enable-session --with-rea ==> make install 🍺 /usr/local/Cellar/sqlite/3.50.1: 13 files, 4.8MB, built in 28 seconds ==> Installing fish dependency: xz Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> ./configure --disable-silent-rules --disable-nls ==> make check ==> make install ==> Downloading https://formulae.brew.sh/api/formula.jws.json Warning: formula.jws.json: update failed, falling back to cached version. 🍺 /usr/local/Cellar/xz/5.8.1: 96 files, 2.3MB, built in 40 seconds ==> Installing fish dependency: expat Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> ./configure --mandir=/usr/local/Cellar/expat/2.7.1/share/man ==> make install 🍺 /usr/local/Cellar/expat/2.7.1: 23 files, 609.3KB, built in 16 seconds ==> Installing fish dependency: python@3.13 Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> Patching ==> Applying 3.13-sysconfig.diff ==> Applying 15340775f8ded517e98604fb416e6f758d21f635.patch ==> ./configure --enable-ipv6 --datarootdir=/usr/local/Cellar/python@3.13/3.13.5 ==> make ==> make install PYTHONAPPSDIR=/usr/local/Cellar/python@3.13/3.13.5 ==> make frameworkinstallextras PYTHONAPPSDIR=/usr/local/Cellar/python@3.13/3.13 ==> /usr/local/Cellar/python@3.13/3.13.5/bin/python3.13 -m venv /private/tmp/pyt ==> /private/tmp/pythonA3.13-20250619-58236-ymanvp/Python-3.13.5/whl_build/bin/p ==> /private/tmp/pythonA3.13-20250619-58236-ymanvp/Python-3.13.5/whl_build/bin/p ==> /private/tmp/pythonA3.13-20250619-58236-ymanvp/Python-3.13.5/whl_build/bin/p ==> /private/tmp/pythonA3.13-20250619-58236-ymanvp/Python-3.13.5/whl_build/bin/p ==> /private/tmp/pythonA3.13-20250619-58236-ymanvp/Python-3.13.5/whl_build/bin/p ==> /usr/local/Cellar/python@3.13/3.13.5/bin/python3.13 -Im ensurepip ==> /usr/local/Cellar/python@3.13/3.13.5/bin/python3.13 -Im pip install -v --no- 🍺 /usr/local/Cellar/python@3.13/3.13.5: 9,277 files, 204.3MB, built in 5 minutes 47 seconds ==> Installing fish dependency: z3 Warning: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ==> cmake -S . -B build -DZ3_LINK_TIME_OPTIMIZATION=ON -DZ3_INCLUDE_GIT_DESCRIBE ==> cmake --build build Last 15 lines from /Users/fschmidt/Library/Logs/Homebrew/z3/02.cmake: cd /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src/ast/simplifiers && /usr/local/Homebrew/Library/Homebrew/shims/mac/super/clang++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src -Werror=odr -Werror=return-type -Werror=delete-non-virtual-dtor -Werror=overloaded-virtual -Werror=non-virtual-dtor -Werror=null-dereference -Werror=no-unreachable-code-return -O3 -DNDEBUG -flto -std=gnu++2a -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX10.15.sdk -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/ast/simplifiers/CMakeFiles/simplifiers.dir/max_bv_sharing.cpp.o -MF CMakeFiles/simplifiers.dir/max_bv_sharing.cpp.o.d -o CMakeFiles/simplifiers.dir/max_bv_sharing.cpp.o -c /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src/ast/simplifiers/max_bv_sharing.cpp [ 37%] Building CXX object src/ast/simplifiers/CMakeFiles/simplifiers.dir/model_reconstruction_trail.cpp.o cd /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src/ast/simplifiers && /usr/local/Homebrew/Library/Homebrew/shims/mac/super/clang++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src -Werror=odr -Werror=return-type -Werror=delete-non-virtual-dtor -Werror=overloaded-virtual -Werror=non-virtual-dtor -Werror=null-dereference -Werror=no-unreachable-code-return -O3 -DNDEBUG -flto -std=gnu++2a -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX10.15.sdk -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/ast/simplifiers/CMakeFiles/simplifiers.dir/model_reconstruction_trail.cpp.o -MF CMakeFiles/simplifiers.dir/model_reconstruction_trail.cpp.o.d -o CMakeFiles/simplifiers.dir/model_reconstruction_trail.cpp.o -c /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src/ast/simplifiers/model_reconstruction_trail.cpp [ 37%] Building CXX object src/ast/simplifiers/CMakeFiles/simplifiers.dir/propagate_values.cpp.o cd /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src/ast/simplifiers && /usr/local/Homebrew/Library/Homebrew/shims/mac/super/clang++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src -Werror=odr -Werror=return-type -Werror=delete-non-virtual-dtor -Werror=overloaded-virtual -Werror=non-virtual-dtor -Werror=null-dereference -Werror=no-unreachable-code-return -O3 -DNDEBUG -flto -std=gnu++2a -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX10.15.sdk -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/ast/simplifiers/CMakeFiles/simplifiers.dir/propagate_values.cpp.o -MF CMakeFiles/simplifiers.dir/propagate_values.cpp.o.d -o CMakeFiles/simplifiers.dir/propagate_values.cpp.o -c /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src/ast/simplifiers/propagate_values.cpp [ 37%] Building CXX object src/ast/simplifiers/CMakeFiles/simplifiers.dir/reduce_args_simplifier.cpp.o cd /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src/ast/simplifiers && /usr/local/Homebrew/Library/Homebrew/shims/mac/super/clang++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src -Werror=odr -Werror=return-type -Werror=delete-non-virtual-dtor -Werror=overloaded-virtual -Werror=non-virtual-dtor -Werror=null-dereference -Werror=no-unreachable-code-return -O3 -DNDEBUG -flto -std=gnu++2a -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX10.15.sdk -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/ast/simplifiers/CMakeFiles/simplifiers.dir/reduce_args_simplifier.cpp.o -MF CMakeFiles/simplifiers.dir/reduce_args_simplifier.cpp.o.d -o CMakeFiles/simplifiers.dir/reduce_args_simplifier.cpp.o -c /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src/ast/simplifiers/reduce_args_simplifier.cpp [ 37%] Built target model [ 38%] Building CXX object src/ast/simplifiers/CMakeFiles/simplifiers.dir/solve_context_eqs.cpp.o cd /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src/ast/simplifiers && /usr/local/Homebrew/Library/Homebrew/shims/mac/super/clang++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src -Werror=odr -Werror=return-type -Werror=delete-non-virtual-dtor -Werror=overloaded-virtual -Werror=non-virtual-dtor -Werror=null-dereference -Werror=no-unreachable-code-return -O3 -DNDEBUG -flto -std=gnu++2a -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX10.15.sdk -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/ast/simplifiers/CMakeFiles/simplifiers.dir/solve_context_eqs.cpp.o -MF CMakeFiles/simplifiers.dir/solve_context_eqs.cpp.o.d -o CMakeFiles/simplifiers.dir/solve_context_eqs.cpp.o -c /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src/ast/simplifiers/solve_context_eqs.cpp [ 38%] Building CXX object src/ast/simplifiers/CMakeFiles/simplifiers.dir/solve_eqs.cpp.o cd /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src/ast/simplifiers && /usr/local/Homebrew/Library/Homebrew/shims/mac/super/clang++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/build/src -I/private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src -Werror=odr -Werror=return-type -Werror=delete-non-virtual-dtor -Werror=overloaded-virtual -Werror=non-virtual-dtor -Werror=null-dereference -Werror=no-unreachable-code-return -O3 -DNDEBUG -flto -std=gnu++2a -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX10.15.sdk -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/ast/simplifiers/CMakeFiles/simplifiers.dir/solve_eqs.cpp.o -MF CMakeFiles/simplifiers.dir/solve_eqs.cpp.o.d -o CMakeFiles/simplifiers.dir/solve_eqs.cpp.o -c /private/tmp/z3-20250619-73189-9r0o6f/z3-z3-4.15.1/src/ast/simplifiers/solve_eqs.cpp [ 38%] Built target simplifiers make: *** [all] Error 2 Error: You are using macOS 10.15. We (and Apple) do not provide support for this old version. This is a Tier 3 configuration: https://docs.brew.sh/Support-Tiers#tier-3 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. Error: A newer Command Line Tools release is available. Update them from Software Update in System Preferences. If that doesn't show you any updates, run: sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install Alternatively, manually download them from: https://developer.apple.com/download/all/. You should download the Command Line Tools for Xcode 12.4. This is a Tier 2 configuration: https://docs.brew.sh/Support-Tiers#tier-2 Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. This build failure was expected, as this is not a Tier 1 configuration: https://docs.brew.sh/Support-Tiers Do not report any issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs. ~ $