diff options
| author | makaimann <makaim@stanford.edu> | 2021-05-21 00:20:30 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-21 04:20:30 +0000 |
| commit | 84fdf87a74a7104a0eccaf7a817597b086c3afa9 (patch) | |
| tree | bf082fc1d5636bff214ab47eb8d5b3fb1d082720 /.github | |
| parent | 4268c75087e2bb68dbb2257d99e062a8cc897f8c (diff) | |
Use scikit-build CMake files for pycvc5 (#6543)
This PR removes copied CMake files for the pycvc5 Cython target, and instead adds a dependency on scikit-build (where those CMake files originated anyway). This keeps us up to date with fixes. Furthermore, the PR switches from distutils to the more modern setuptools. This does add another dependency but it's a fairly reasonable one. setuptools is not part of the base Python distribution, but my understanding is that it is now the de facto standard, and most package managers install it automatically with Python. The main motivation for switching is in preparation for building wheels.
This PR is a piece of this old one (#5657) which I am closing and splitting up.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0d9ed04a3..b9ec42af3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -100,6 +100,7 @@ jobs: run: | python3 -m pip install pytest python3 -m pytest --version + python3 -m pip install scikit-build python3 -m pip install \ Cython==0.29.* --install-option="--no-cython-compile" echo "$(python3 -m site --user-base)/bin" >> $GITHUB_PATH |