From 3132f5c1d3b14e623419d1b9f0490aa5aec3c941 Mon Sep 17 00:00:00 2001
From: Elizabeth Polgreen <epolgreen@gmail.com>
Date: Thu, 4 Jul 2024 15:42:01 +0100
Subject: [PATCH] fix CI for mac

---
 .github/workflows/test.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index b7e948dd..f083ff2f 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -115,13 +115,15 @@ jobs:
         path: z3/
         key: ${{ runner.os }}-z3-${{ hashFiles('get-z3-macos.sh') }}-1
 
+    - name: Create path for Z3
+      run: sudo mkdir -p /usr/local/lib
+
     - name: Download Z3
       if: steps.cache-z3.outputs.cache-hit != 'true'
       run: ./get-z3-macos.sh
        
     - name: Add Z3 to Path
       run: |
-       sudo mkdir -p /usr/local/lib
        echo "$GITHUB_WORKSPACE/z3/bin/" >> $GITHUB_PATH
        echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$GITHUB_WORKSPACE/z3/bin/" >> $GITHUB_ENV
        ./setup-z3-macos.sh