projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 272bdc9) | patch
Add scripts to build python wheels (#8132)
authorGereon Kremer <gkremer@cs.stanford.edu>
Mon, 28 Feb 2022 18:47:28 +0000 (19:47 +0100)
committerGitHub <noreply@github.com>
Mon, 28 Feb 2022 18:47:28 +0000 (18:47 +0000)
commit86aefbc07acff372225852ce8ac9a5d734046058
treee7989f88cc57ba90577cc6c64dd01d10a9c79dc9tree
parent272bdc96de6d9f6a6b071e330865ae909f50ef47commit | diff
Add scripts to build python wheels (#8132)

This adds a new set of scripts to build python wheels for cvc5. It includes

mk_wheel.py which builds the python wheel within an existing build folder
mk_build_dir.py which runs configure.sh and directs cmake to a custom python interpreter
mk_clean_wheel.sh which builds the python wheel in a clean environment (a python venv and a fresh build folder)
a dockerfile that slightly customizes manylinux2014 to our use case
a readme giving a highlevel overview of what we are doing
contrib/packaging_python/Readme.md [new file with mode: 0644] blob
contrib/packaging_python/manylinux2014/Dockerfile [new file with mode: 0644] blob
contrib/packaging_python/mk_build_dir.py [new file with mode: 0644] blob
contrib/packaging_python/mk_clean_wheel.sh [new file with mode: 0755] blob
contrib/packaging_python/mk_wheel.py [new file with mode: 0644] blob
src/api/python/wheels/build_wheel.py [deleted file] blob | history