mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-06 09:00:52 +00:00
Code Activity

Update to Ubuntu 24.04 to support GCC 13 cross-compilers

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-01-17 13:19:51 +00:00
parent 8294244ee4
commit 5fb260b320
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -11,7 +11,7 @@ permissions:
jobs: jobs:
build: build:
runs-on: ubuntu-latest runs-on: ubuntu-latest
container: ubuntu:jammy container: ubuntu:24.04
strategy: strategy:
fail-fast: false fail-fast: false
@ -23,12 +23,12 @@ jobs:
uses: actions/checkout@v6.0.1 uses: actions/checkout@v6.0.1
- name: Install cross build tools - name: Install cross build tools
run: apt update && apt install -y ninja-build cmake python3 g++-12-${{ matrix.arch }}-linux-gnu run: apt update && apt install -y ninja-build cmake python3 g++-13-${{ matrix.arch }}-linux-gnu
env: env:
DEBIAN_FRONTEND: noninteractive DEBIAN_FRONTEND: noninteractive
- name: Configure CMake and build - name: Configure CMake and build
run: | run: |
mkdir build && cd build mkdir build && cd build
cmake -DCMAKE_CXX_COMPILER=${{ matrix.arch }}-linux-gnu-g++-12 ../ cmake -DCMAKE_CXX_COMPILER=${{ matrix.arch }}-linux-gnu-g++-13 ../
make -j$(nproc) make -j$(nproc)