mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 12:23:38 +00:00
Code Activity

update ubuntu builds

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-01-31 19:05:27 -08:00
parent 432432be9c
commit 85072974b9
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/nightly.yaml
View file

@ -92,11 +92,13 @@ stages:
buildenv: 'CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc' buildenv: 'CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc'
arch: 'arm64' arch: 'arm64'
name: 'z3-$(NightlyVersion)-ubuntu-arm64' name: 'z3-$(NightlyVersion)-ubuntu-arm64'
compiler: 'aarch64-linux-gnu-g++-11'
x64: x64:
setupcmds: 'sudo apt update& sudo apt install ninja-build -y' setupcmds: 'sudo apt update& sudo apt install ninja-build -y'
buildenv: '' buildenv: ''
arch: 'x64' arch: 'x64'
name: 'z3-$(NightlyVersion)-ubuntu-x64' name: 'z3-$(NightlyVersion)-ubuntu-x64'
compiler: 'g++'
steps: steps:
- script: $(setupcmds) - script: $(setupcmds)
- script: | - script: |
@ -104,7 +106,7 @@ stages:
cd $(arch) cd $(arch)
$(buildenv) cmake \ $(buildenv) cmake \
-DCMAKE_BUILD_TYPE=RelWithDebInfo\ -DCMAKE_BUILD_TYPE=RelWithDebInfo\
-DCMAKE_CXX_COMPILER=aarch64-linux-gnu-g++\ -DCMAKE_CXX_COMPILER=$(compiler)\
-DZ3_BUILD_DOTNET_BINDINGS=ON\ -DZ3_BUILD_DOTNET_BINDINGS=ON\
-DZ3_INSTALL_DOTNET_BINDINGS=ON \ -DZ3_INSTALL_DOTNET_BINDINGS=ON \
-DZ3_BUILD_JAVA_BINDINGS=ON\ -DZ3_BUILD_JAVA_BINDINGS=ON\