Skip to content

z3 4.15.8#267313

Draft
BrewTestBot wants to merge 1 commit intomainfrom
bump-z3-4.15.8
Draft

z3 4.15.8#267313
BrewTestBot wants to merge 1 commit intomainfrom
bump-z3-4.15.8

Conversation

@BrewTestBot
Copy link
Contributor

@BrewTestBot BrewTestBot commented Feb 12, 2026

Created by brew bump

Created with brew bump-formula-pr.

@github-actions github-actions bot added the bump-formula-pr PR was created using `brew bump-formula-pr` label Feb 12, 2026
@chenrui333
Copy link
Member

chenrui333 commented Feb 13, 2026 

  [ 12%] Building CXX object src/ast/CMakeFiles/ast.dir/array_decl_plugin.cpp.o
  cd /var/tmp/z3-20260212-5055-dftdc5/z3-z3-4.15.8/build/src/ast && /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/shims/linux/super/g++-12 -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/var/tmp/z3-20260212-5055-dftdc5/z3-z3-4.15.8/build/src -I/var/tmp/z3-20260212-5055-dftdc5/z3-z3-4.15.8/src -Werror=odr  -Werror=return-type  -O3 -DNDEBUG -flto -std=gnu++20 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/ast/CMakeFiles/ast.dir/array_decl_plugin.cpp.o -MF CMakeFiles/ast.dir/array_decl_plugin.cpp.o.d -o CMakeFiles/ast.dir/array_decl_plugin.cpp.o -c /var/tmp/z3-20260212-5055-dftdc5/z3-z3-4.15.8/src/ast/array_decl_plugin.cpp
  /var/tmp/z3-20260212-5055-dftdc5/z3-z3-4.15.8/src/ast/array_decl_plugin.cpp:20:9: fatal error: format: No such file or directory
     20 | #include<format>
        |         ^~~~~~~~
  compilation terminated.
  make[2]: *** [src/ast/CMakeFiles/ast.dir/build.make:116: src/ast/CMakeFiles/ast.dir/array_decl_plugin.cpp.o] Error 1
  make[2]: *** Waiting for unfinished jobs....

@chenrui333 chenrui333 added the build failure CI fails while building the software label Feb 13, 2026
cho-m
cho-m reviewed Feb 13, 2026
View reviewed changes
Formula/z/z3.rb
# which does not need Python.
depends_on "python@3.14" => [:build, :test]

uses_from_macos "llvm" => :build
Copy link
Member

@cho-m cho-m Feb 13, 2026 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This isn't possible as LLVM needs Z3 and std::format is an issue of C++ library not compiler.

And alternative of newer GCC cannot be used as that will force newer GLIBCXX/libstdc++ in LLVM and other dependents

Instead we will need to keep Z3 on same version until we can upgrade CI runners. Perhaps end-of-year to beginning of 2027 as we wanted to keep Ubuntu 22.04 Tier 1 status while usage is still high1 but before end of security support (April 2027).

Footnotes

  1. https://formulae.brew.sh/analytics/os-version/30d/ ↩

@cho-m cho-m marked this pull request as draft February 13, 2026 15:11
@cho-m cho-m added CI-issue Failure due to temporary CI issue blocked brew Issue may be Homebrew/brew related labels Feb 13, 2026
@github-actions
Copy link
Contributor

github-actions bot commented Feb 15, 2026

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. To keep this pull request open, add a help wanted or in progress label.

@github-actions github-actions bot added the stale No recent activity label Feb 15, 2026
@chenrui333 chenrui333 added in progress Stale bot should stay away and removed stale No recent activity labels Feb 15, 2026
@daeho-ro daeho-ro mentioned this pull request Feb 19, 2026
Closed
This was referenced Feb 22, 2026
Merged
Draft
@cho-m cho-m removed the brew Issue may be Homebrew/brew related label Mar 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@cho-m cho-m cho-m left review comments

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

blocked build failure CI fails while building the software bump-formula-pr PR was created using `brew bump-formula-pr` CI-issue Failure due to temporary CI issue in progress Stale bot should stay away

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@BrewTestBot @chenrui333 @cho-m