win32: Install Z3

FStarLang · Aug 24, 2024 · cda9082 · cda9082
1 parent 70f1639
commit cda9082
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/.github/setup-z3.cmd 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
@@ -111,3 +111,7 @@ nuget/
 # vcpkg
 /vcpkg/
 /vcpkg_installed/
+
+# setup-z3.cmd
+/z3-4.8.5-x64-win.zip
+/z3_installed