From 0a1a57cf01769fd400860bd72ec6a9ecd50f50bb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 31 Jan 2024 17:08:17 -0800
Subject: [PATCH] Update nightly.yaml for Azure Pipelines

---
 scripts/nightly.yaml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 97fcca775..05def3a5f 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -93,6 +93,8 @@ stages:
     - script: sudo apt install g++-aarch64-linux-gnu -y
     - script: sudo apt install ninja-build -y
     - script: |
+          mkdir build
+          cd build
           cmake \
                       -DCMAKE_BUILD_TYPE=RelWithDebInfo\
                       -DCMAKE_CXX_COMPILER=aarch64-linux-gnu-g++\
@@ -107,10 +109,11 @@ stages:
                       -DCMAKE_INSTALL_PYTHON_PKG_DIR=bin/python\
                       -DZ3_BUILD_LIBZ3_SHARED=ON\
                       -DCMAKE_INSTALL_PREFIX=dist\
-                      -G "Ninja" .
+                      -G "Ninja" ../
            ninja install
            zip -r z3-$(NightlyVersion)-ubuntu-arm64.zip dist
-    - script: cp *.zip $(Build.ArtifactStagingDirectory)/.
+           cd ..
+    - script: cp build/*.zip $(Build.ArtifactStagingDirectory)/.
     - task: PublishPipelineArtifact@0
       inputs:
         artifactName: 'UbuntuArm64CMAKE'