From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 20 Jan 2022 18:10:40 +0000 (-0800)
Subject: Fix CI build for macOS (#7970)
X-Git-Tag: cvc5-1.0.0~523
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e2b1154c3e9a82e2a69e98a7ff7aadf73f9009df;p=cvc5.git

Fix CI build for macOS (#7970)

The macOS CI could not find the Cython executable anymore for some reason. This commit fixes the issue.
---

diff --git a/.github/actions/install-dependencies/action.yml b/.github/actions/install-dependencies/action.yml
index d1fb975a9..a204bfa21 100644
--- a/.github/actions/install-dependencies/action.yml
+++ b/.github/actions/install-dependencies/action.yml
@@ -75,8 +75,7 @@ runs:
         if [[ "${{ inputs.with-python-bindings }}" != "true" ]]; then exit 0; fi
         python3 -m pip install pytest scikit-build
         python3 -m pytest --version
-        python3 -m pip install \
-          Cython==0.29.* --install-option="--no-cython-compile"
+        python3 -m pip install Cython==0.29.*
         echo "$(python3 -m site --user-base)/bin" >> $GITHUB_PATH
         echo "::endgroup::"