From f81180173b0ecf6fa5ffc54c9243c6603bf957e0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Jan 2024 14:41:10 -0800
Subject: [PATCH] remove optional Julia build

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

diff --git a/scripts/mk_win_dist_cmake.py b/scripts/mk_win_dist_cmake.py
index b27b6892f..38707e50b 100644
--- a/scripts/mk_win_dist_cmake.py
+++ b/scripts/mk_win_dist_cmake.py
@@ -230,6 +230,7 @@ def mk_build_dir(arch):
             cmd.append(' -DCMAKE_INSTALL_PYTHON_PKG_DIR=bin/python')
         if JULIA_ENABLED:
             cmd.append(' -DJlCxx_DIR=%JlCxxDir%\\..\\lib\\cmake\\JlCxx')
+            cmd.append(' -DZ3_BUILD_JULIA_BINDINGS=True')
 
         if GIT_HASH:
             git_hash = get_git_hash()
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index e746a6be0..1c3245ea4 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -205,7 +205,6 @@ 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