Get z3 binary as a part of CI

leanprover · Jan 30, 2024 · 91b74d7 · 91b74d7
1 parent 2ec153e
commit 91b74d7
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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