angr / angr-dev

Some helper scripts to set up an environment for angr development.
BSD 2-Clause "Simplified" License
114 stars 95 forks source link

Add build_dev_wheels.sh script for snapshotting local environment into a distributable state #147

Closed rhelmot closed 2 years ago

rhelmot commented 2 years ago

This is, as far as I'm aware, the "correct" way to handle the new world of isolated builds, dev dependencies, and pep517.

As an example, if you have your angr-dev with a bunch of repos with maybe-uncommitted changes and you want to distribute this, you can run ./admin/build_dev_wheels.sh and it will produce a folder named build which contains wheels for each of the core angr repos. You can then distribute this folder, and then pip install angr==9.2.5.dev0 --find-links=./build will work.