From e0bed3bcfac8cf5e1b1086dd5b32f425e5117fa5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Jan 2024 13:26:22 -0800
Subject: [PATCH] build Julia for x64

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 1c3245ea4ad..c8c2c34e663 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -205,6 +205,7 @@ stages:
           python scripts\mk_win_dist_cmake.py
             --assembly-version=$(AssemblyVersion)
             --x64-only
+	    --julia
             --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
             --zip
     - task: CopyFiles@2