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 /src/expr/proof_rule.h | |
| 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 'src/expr/proof_rule.h')
0 files changed, 0 insertions, 0 deletions