update ubuntu builds

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 1, 2024 · 432432b · 432432b
1 parent d624eec
commit 432432b
Showing 1 changed file with 6 additions and 5 deletions.
diff --git 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