5 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	9fc9ca0d1e	revng.cli: centralize collect_pipelines ... Move the logic that collects all the pipeline files to a cental implementation.	2023-08-23 17:45:36 +02:00
Alessandro Di Federico	416c59c43b	support.py: rework get_command ... We introduce two paths where we can hard code search prefixes (`/additional-search-prefixes`) and additional binaries paths (`/share/revng/additional-bin-paths`). This enables us to add to `additional-bin-paths` the configure-time specified path of the preferred LLVM installation, instead of relying on `PATH` to look up, e.g., `opt` at run-time.	2023-04-13 18:11:48 +02:00
Giacomo Vercesi	e4adbe8134	revng.support: add get_root ... Add the get_root function which will return the absolute path of the root, relatively to the file location in support	2022-10-24 09:58:55 +02:00
Davide Depau	d02237ea5e	python: import CIterable from collections.abc ... Importing from `collection` has been deprecated for a while now.	2022-07-05 10:31:36 +02:00
Giacomo Vercesi	79c6086d0d	revng.api: autodetect files ... `revng.api` now autodetects files (libraries, pipeline yamls) for initialization via the same mechanism used by `revng.cli`. This removes the need to pass them via environment variables from `revng daemon` and allows easy interaction with python's C API.	2022-06-29 14:49:29 +02:00