diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-08-31 11:48:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-31 11:48:42 -0700 |
commit | 57a02fd0c7faa7a87b8619d52cf519e033633c1d (patch) | |
tree | b167486559b67af386ab9e90378d6372cbe64c0c /src/theory/theory.cpp | |
parent | fc784f0273099b84581862b8587940c6db3459ed (diff) |
[CI] Fix Cython installation (#4983)
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.
Diffstat (limited to 'src/theory/theory.cpp')
0 files changed, 0 insertions, 0 deletions