From 91b74d7b3c6e0b2fd13f96b9ae552f90d863104a Mon Sep 17 00:00:00 2001
From: Shilpi Goel <shigoel@gmail.com>
Date: Tue, 30 Jan 2024 13:37:44 -0600
Subject: [PATCH] Get z3 binary as a part of CI

---
 .github/workflows/makefile.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index b68d546d..6989992b 100644
--- a/.github/workflows/makefile.yml
+++ b/.github/workflows/makefile.yml
@@ -20,6 +20,12 @@ jobs:
           ./elan-init -y --default-toolchain none
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
 
+    - name: Get z3 binary v4.11.2
+      run: |
+          curl -OJLsSf https://github.com/Z3Prover/z3/releases/download/z3-4.11.2/z3-4.11.2-x64-glibc-2.31.zip
+	  unzip z3-4.11.2-x64-glibc-2.31.zip && rm z3-4.11.2-x64-glibc-2.31.zip
+          echo "$HOME/z3-4.11.2-x64-glibc-2.31/bin/z3" >> $GITHUB_PATH
+
     - uses: actions/checkout@v3
 
     - name: Build LNSym