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
12186ff3a2
scripts/revng: re-implement path fix
...
Re-add the code that allows the `revng` script to be also invoked from
the build directory.
2023-05-11 14:24:00 +02:00
9d5b6d1f34
revng cli: migrate legacy scripts to _commands
...
Move the remaining commands in the `scripts` to be used by the `revng`
command line driver.
2023-05-11 10:02:46 +02:00
fdd07f640a
revng cli: drop old code
...
Remove code for the `revng` command line entrypoint that was needed
before python became an orchestra component.
2023-05-11 10:02:46 +02:00
0b1aaeaede
Minor improvements
2023-03-15 10:19:01 +01:00
4929f201d1
script/revng: fix detection of packages directory
2023-01-21 16:46:35 +01:00
bf4122ed0a
Introduce v2 of revng-check-conventions
2022-09-29 15:21:59 +02:00
f4684e244d
Switch to new testsuite
2022-06-20 19:04:18 +02:00
bbce0b33e5
revng-check-conventions: introduce isort
2022-04-20 09:57:08 +02:00
31a836e48c
revng-check-conventions: introduce flake8
2022-04-20 09:56:44 +02:00
d81dc49809
revng-check-conventions: license check
2022-04-20 09:55:18 +02:00
586feabd3d
Drop scripts/revng-model-dump
2022-03-17 16:46:02 +01:00
0e387938be
Move scripts/revng to revng/cli/revng.py
2022-03-16 22:10:15 +01:00
997e7f60cb
scripts/renvg: handle revng pipeline
...
Let `scripts/revng` intercept `revng-pipeline` invocations and add, not
only -load, but `-P` (pipelines) too.
2022-03-16 22:10:15 +01:00
7d48059800
Turn revng-lift into a script
2022-03-11 15:37:12 +01:00
23c40e3b51
revng: fix imports
...
Add missing log_error include and remove other unused imports.
2022-02-23 18:02:50 +01:00
6672eb8dbc
Turn Python scripts into modules
2022-02-23 18:02:42 +01:00
Giacomo Vercesi