Support non optimized builds - Githubissues

revng / revng-orchestra

rev.ng's package manager

4 stars 6 forks source link

Support non optimized builds #20

Closed fcremo closed 3 years ago

fcremo commented 3 years ago

This PR supports https://github.com/revng/orchestra/pull/12

changes the default dependency type to "any of"
supports replacing #if asan-like preprocessor statements
adds JSON output option to orc components
supports multiple components in several commands (e.g. orc install revng revng-c)

Additional minor changes:

add a label to the graph edges created by the same-component-ordering rule, aids in debugging