Exclude MathSAT from CI runs on macOS

stanford-centaur · Aug 1, 2024 · 5fc1fff · 5fc1fff
1 parent f068987
commit 5fc1fff
Showing 1 changed file with 11 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -40,6 +40,7 @@ jobs:
         run: python3 -m pip install scikit-build
 
       - name: Download MathSAT
+        if: runner.os != 'macOS'
         run: ./ci-scripts/setup-msat.sh --auto-yes
 
       - name: Setup Flex
@@ -51,10 +52,16 @@ jobs:
       - name: Setup Btor2Tools
         run: ./contrib/setup-btor2tools.sh
 
-      - name: Setup Smt-Switch
-        run: |
-          ./contrib/setup-smt-switch.sh --with-msat --python
-          python3 -m pip install -e ./deps/smt-switch/build/python
+      - name: Setup Smt-Switch (macOS)
+        if: runner.os == 'macOS'
+        run: ./contrib/setup-smt-switch.sh --python
+
+      - name: Setup Smt-Switch (non-macOS)
+        if: runner.os != 'macOS'
+        run: ./contrib/setup-smt-switch.sh --with-msat --python
+
+      - name: Set up Python bindings for smt-switch
+        run: python3 -m pip install -e ./deps/smt-switch/build/python
 
       - name: Configure
         run: ./configure.sh --with-msat --debug --python