Giacomo Vercesi 7743743e60 python: install wheel at build time ...

Install the wheels at build time, then copy the installed files
statically when installing.

2026-02-25 22:14:08 +01:00

..

revng

pipebox: use native runners

2026-02-16 10:34:38 +01:00

scripts

revng: allow execution while in a venv

2026-01-29 14:54:24 +01:00

CMakeLists.txt

python: install wheel at build time

2026-02-25 22:14:08 +01:00

wheel-install.sh

tmp

2026-02-25 22:13:24 +01:00