From d3fbb9d0c5a286c5194503278ca1b92ccb807b58 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 31 Jan 2024 02:50:53 -0800 Subject: [PATCH] add line continuations to nightly.yaml Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 166c7b88307..69aa876038e 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -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: |