From a3e87e049a311c2652b0f430f7098359bb1a03b6 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Mon, 31 Aug 2020 10:03:44 -0700 Subject: [CI] Fix Cython installation Cython has been causing issues recently, see e.g. https://github.com/CVC4/CVC4/pull/4982/checks?check_run_id=1052433862. It looks like the issue is that globally installed packages can't be found by Python (maybe the global site-package directories changed/are not included in the search paths anymore?). This commit changes the installation of Cython to install it locally to the user instead of globally. It also adds `bin` in the user base directory to `PATH` s.t. CMake is able to find the `cython` binary. --- .github/workflows/ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 00fa15bc5..d7909b961 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -90,12 +90,12 @@ jobs: python3 -m pip install pexpect echo "::add-path::/usr/local/opt/ccache/libexec" - # Note: We install Cython with sudo since cmake can't find Cython otherwise. - name: Install Cython if: matrix.python-bindings && runner.os == 'Linux' run: | - sudo python3 -m pip install \ - Cython==0.29 --install-option="--no-cython-compile" + python3 -m pip install \ + Cython==0.29.* --install-option="--no-cython-compile" + echo "::add-path::$(python3 -m site --user-base)/bin" - name: Install Cython (macOS) if: matrix.python-bindings && runner.os == 'macOS' -- cgit v1.2.3