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
1,492 Commits 215 Branches 0 Tags
feature/python-model-v2
Commit Graph

3 Commits

Author SHA1 Message Date
Alessandro Di Federico da7701bd4e Move all executables except revng to libexec/revng 
We used to collect all binaries into the `bin/` directory. However this
led to confusions since certain commands where available both as
`revng-command` and `revng command`.

This commit moves all the executables except `revng` into
`libexec/revng`, which, according to FHS, is dedicated to "internal
binaries that are not intended to be executed directly by users or shell
scripts".
 2022-03-17 14:10:50 +01:00
Alessandro Di Federico a38819d8d9 revng-pipeline tests: cleanup temporary files 
Certain revng-pipeline tests did not clean up temporary files leading to
weird effects running the tests twice in the same build directory.
 2022-02-14 10:56:30 +01:00
Massimo Fioravanti 67f9cbdf4c Introduce the revng-pipeline CLI tool 2022-02-08 00:05:03 +01:00