mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 19:52:29 +00:00
Code Activity

add line continuations to nightly.yaml

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-01-31 02:50:53 -08:00
parent 4b4e057441
commit d3fbb9d0c5
1 changed files with 13 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

26
scripts/nightly.yaml
View file

@ -94,19 +94,19 @@ stages:
- script: sudo apt install ninja-build -y
- script: |
mkdir dist
CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc cmake
-DCMAKE_BUILD_TYPE=RelWithDebInfo
-DZ3_BUILD_DOTNET_BINDINGS=ON
-DZ3_INSTALL_DOTNET_BINDINGS=ON
-DZ3_BUILD_JAVA_BINDINGS=ON
-DZ3_INSTALL_JAVA_BINDINGS=ON
-DZ3_JAVA_JAR_INSTALL_DIR=bin
-DZ3_AVA_JNI_LIB_INSTALLDI=bin
-DZ3_BUILD_PYTHON_BINDINGS=ON
-DZ3_INSTALL_PYTHON_BINDINGS=ON
-DCMAKE_INSTALL_PYTHON_PKG_DIR=bin/python
-DZ3_BUILD_LIBZ3_SHARED=ON
-DCMAKE_INSTALL_PREFIX=dist
CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc cmake \
-DCMAKE_BUILD_TYPE=RelWithDebInfo\
-DZ3_BUILD_DOTNET_BINDINGS=ON\
-DZ3_INSTALL_DOTNET_BINDINGS=ON \
-DZ3_BUILD_JAVA_BINDINGS=ON\
-DZ3_INSTALL_JAVA_BINDINGS=ON\
-DZ3_JAVA_JAR_INSTALL_DIR=bin\
-DZ3_AVA_JNI_LIB_INSTALLDI=bin\
-DZ3_BUILD_PYTHON_BINDINGS=ON\
-DZ3_INSTALL_PYTHON_BINDINGS=ON\
-DCMAKE_INSTALL_PYTHON_PKG_DIR=bin/python\
-DZ3_BUILD_LIBZ3_SHARED=ON\
-DCMAKE_INSTALL_PREFIX=dist\
-G "Ninja" ..
ninja install
- script: |