3 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	d9e928dce9	fetch debuginfo: provide alternative urls via env ... Allow the `fetch debuginfo` command to have the upstream server urls be provided via environment variables rather than the command-line.	2025-03-13 18:03:50 +01: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