From 85072974b992b16c0fa7dacc7f6e15f41fd9217f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 31 Jan 2024 19:05:27 -0800
Subject: [PATCH] update ubuntu builds

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index c0d17696c..e69b097a9 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -92,11 +92,13 @@ stages:
           buildenv: 'CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc'
           arch: 'arm64'
           name: 'z3-$(NightlyVersion)-ubuntu-arm64'
+          compiler: 'aarch64-linux-gnu-g++-11'
         x64:
           setupcmds: 'sudo apt update& sudo apt install ninja-build -y'
           buildenv: ''
           arch: 'x64'
           name: 'z3-$(NightlyVersion)-ubuntu-x64'
+          compiler: 'g++'
     steps:
     - script: $(setupcmds)
     - script: |
@@ -104,7 +106,7 @@ stages:
           cd $(arch)
           $(buildenv) cmake \
                       -DCMAKE_BUILD_TYPE=RelWithDebInfo\
-                      -DCMAKE_CXX_COMPILER=aarch64-linux-gnu-g++\
+                      -DCMAKE_CXX_COMPILER=$(compiler)\
                       -DZ3_BUILD_DOTNET_BINDINGS=ON\
                       -DZ3_INSTALL_DOTNET_BINDINGS=ON \
                       -DZ3_BUILD_JAVA_BINDINGS=ON\