From f68bab38372d68e80732aedb473e3a8e08acb77d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= Date: Thu, 1 Aug 2024 16:06:34 -0700 Subject: [PATCH] Exclude MathSAT from CI runs on macOS --- .github/workflows/ci.yml | 22 +++++++++++++++++----- 1 file changed, 17 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e97d247f..c9a27855 100644 --- 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,12 +52,23 @@ 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 (macOS) + if: runner.os == 'macOS' + run: ./configure.sh --debug --python - - name: Configure + - name: Configure (non-macOS) + if: runner.os != 'macOS' run: ./configure.sh --with-msat --debug --python - name: Build