diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 6a8babeef..c0d17696c 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -91,10 +91,12 @@ stages: setupcmds: 'sudo apt update& sudo apt install gcc-arm-none-eabi gcc-arm-linux-gnueabihf gcc-aarch64-linux-gnu g++-aarch64-linux-gnu ninja-build -y' buildenv: 'CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc' arch: 'arm64' + name: 'z3-$(NightlyVersion)-ubuntu-arm64' x64: setupcmds: 'sudo apt update& sudo apt install ninja-build -y' buildenv: '' arch: 'x64' + name: 'z3-$(NightlyVersion)-ubuntu-x64' steps: - script: $(setupcmds) - script: | @@ -107,17 +109,16 @@ stages: -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_JAVA_JAR_INSTALLDIR=bin\ + -DZ3_JAVA_JNI_LIB_INSTALLDIR=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\ + -DCMAKE_INSTALL_PREFIX=$(name)\ -G "Ninja" ../ ninja install - - zip -r z3-$(NightlyVersion)-ubuntu-arm64.zip dist + zip -r $(name).zip $(name) cd .. - script: cp $(arch)/*.zip $(Build.ArtifactStagingDirectory)/. - task: PublishPipelineArtifact@0