projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c9df98) | patch
Update Python packaging infrastructure (#7654)
authorAlex Ozdemir <aozdemir@hmc.edu>
Wed, 17 Nov 2021 02:19:05 +0000 (18:19 -0800)
committerGitHub <noreply@github.com>
Wed, 17 Nov 2021 02:19:05 +0000 (02:19 +0000)
commitd4183fd0318585e089e805e97f8123cd8f84ace5
treeb2c1af7ec626a27aa770d6d0423e78c109668859tree
parent4c9df988d43b237c22bd3b667f7e5c35cf0a737acommit | diff
Update Python packaging infrastructure (#7654)

- Stop passing --lib-only (it no longer exists)
- Fix the regex search for the cvc5 version
- Take a version suffix as an (optional) environmental variable
src/api/python/wheels/build_wheel.py diff | blob | history