admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
5,705 Commits 215 Branches 0 Tags
feature/more-docs
Commit Graph

3 Commits

Author SHA1 Message Date
Giacomo Vercesi 9a29c7117b commands_registry.py: allow subcommands in subdirs 
Allow external subcommands to live in subdirectories w.r.t. the main
directory.
 2024-10-01 13:38:14 +02:00
Giacomo Vercesi f8ffe38687 Unify cache directory logic 
Make the cache directory logic uniform in Python and C++, move the
respective implementations under support since it's project-wide logic
and not exclusive to debug-info.
 2024-10-01 13:38:13 +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