mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-09 07:33:24 +00:00
Code Activity

Configure C compiler for cross compilation

Browse source
This commit is contained in:
Jakob Rath 2023-09-23 20:22:05 +02:00
parent 40e8dc7afa
commit 78b5db3ce7
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@v4 uses: actions/checkout@v4
- name: Install cross build tools - 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 gcc-11-${{ matrix.arch }}-linux-gnu g++-11-${{ 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++-11 ../ cmake -DCMAKE_C_COMPILER=${{ matrix.arch }}-linux-gnu-gcc-11 -DCMAKE_CXX_COMPILER=${{ matrix.arch }}-linux-gnu-g++-11 ../
make -j$(nproc) make -j$(nproc)