From 5551f1e35bc7c40e0218b69cb1a66dfd9e2dec39 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 31 Jan 2024 15:27:02 -0800
Subject: [PATCH] update nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index e28ad8849fe..8f637f7a1d1 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -95,8 +95,9 @@ stages:
     - script: |
           mkdir dist          
           cd dist
-          CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc cmake \
+          cmake \
                       -DCMAKE_BUILD_TYPE=RelWithDebInfo\
+		      -DCMAKE_CXX_COMPILER=aarch64-linux-gnu-g++\
                       -DZ3_BUILD_DOTNET_BINDINGS=ON\
                       -DZ3_INSTALL_DOTNET_BINDINGS=ON \
                       -DZ3_BUILD_JAVA_BINDINGS=ON\
@@ -108,7 +109,7 @@ stages:
                       -DCMAKE_INSTALL_PYTHON_PKG_DIR=bin/python\
                       -DZ3_BUILD_LIBZ3_SHARED=ON\
                       -DCMAKE_INSTALL_PREFIX=dist\
-                      -G "Ninja" /..
+                      -G "Ninja" ../
            ninja install
            zip bin z3-$(NightlyVersion)-ubuntu-arm64.zip
            cd ..