From cda90825a9752e1b7f1624359954817d9f5e5f97 Mon Sep 17 00:00:00 2001
From: Jonah Beckford <9566106-jonahbeckford@users.noreply.gitlab.com>
Date: Fri, 23 Aug 2024 22:05:46 -0700
Subject: [PATCH] win32: Install Z3

---
 .github/setup-z3.cmd | 12 ++++++++++++
 .gitignore           |  4 ++++
 2 files changed, 16 insertions(+)
 create mode 100644 .github/setup-z3.cmd

diff --git a/.github/setup-z3.cmd b/.github/setup-z3.cmd
new file mode 100644
index 00000000000..7020d9c16e8
--- /dev/null
+++ b/.github/setup-z3.cmd
@@ -0,0 +1,12 @@
+@ECHO OFF
+
+IF NOT EXIST z3-4.8.5-x64-win.zip (
+    powershell -Command "(New-Object Net.WebClient).DownloadFile('https://github.com/Z3Prover/z3/releases/download/Z3-4.8.5/z3-4.8.5-x64-win.zip', 'z3-4.8.5-x64-win.zip')"
+)
+
+IF NOT EXIST z3_installed\bin\z3-4.8.5.exe (
+    powershell -Command "Expand-Archive -Force 'z3-4.8.5-x64-win.zip' 'z3_installed'"
+    xcopy /s /e /y z3_installed\z3-4.8.5-x64-win z3_installed\
+    copy /Y z3_installed\bin\z3.exe z3_installed\bin\z3-4.8.5.exe
+    rmdir /s /q z3_installed\z3-4.8.5-x64-win
+)
diff --git a/.gitignore b/.gitignore
index 2be00dda854..5e07c54229f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -111,3 +111,7 @@ nuget/
 # vcpkg
 /vcpkg/
 /vcpkg_installed/
+
+# setup-z3.cmd
+/z3-4.8.5-x64-win.zip
+/z3_installed