From 5d4303f2689c865b184384743d0a220914b095fe Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Jan 2024 13:27:16 -0800
Subject: [PATCH] build Julia for x64
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
scripts/nightly.yaml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index c8c2c34e6..e746a6be0 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -205,7 +205,7 @@ stages:
python scripts\mk_win_dist_cmake.py
--assembly-version=$(AssemblyVersion)
--x64-only
- --julia
+ --julia
--dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
--zip
- task: CopyFiles@2