mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-18 00:08:57 +00:00
Code Activity

Update cross-build workflow to GCC 12 for C++20 support (#8220)

Browse source 
* Initial plan

* Update cross-build workflow to use g++-12 for C++20 support

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
Copilot 2026-01-16 19:53:36 -08:00 • committed by GitHub
parent 36323f723b
commit a574f97ebd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/cross-build.yml vendored
View file

@ -22,12 +22,12 @@ jobs:
uses: actions/checkout@v6.0.1
- name: Install cross build tools
run: apt update && apt install -y ninja-build cmake python3 g++-11-${{ matrix.arch }}-linux-gnu
run: apt update && apt install -y ninja-build cmake python3 g++-12-${{ matrix.arch }}-linux-gnu
env:
DEBIAN_FRONTEND: noninteractive
- name: Configure CMake and build
run: |
mkdir build && cd build
cmake -DCMAKE_CXX_COMPILER=${{ matrix.arch }}-linux-gnu-g++-11 ../
cmake -DCMAKE_CXX_COMPILER=${{ matrix.arch }}-linux-gnu-g++-12 ../
make -j$(nproc)