2 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	993f66d59c	revng cli: drop revng- prefix from libexec ... Drop using the `revng-` prefix from all executables under `libexec/revng/`. Now any executable found under there that is executable and without extension will be considered a `revng` subcommand, following the usual command-line rules.	2024-10-01 13:38:14 +02:00
Giacomo Vercesi	942cf50735	python: create python wheels ... Package revng's python code in two wheels: `revng` and `revng_internal`. The revng wheel contains the `revng.{pipeline_description,model,tupletree}` modules, while the `revng_internal` one everything under `revng.internal`.	2023-12-12 14:52:22 +01:00