orchestra
orchestra copied to clipboard
revng
rev.ng configuration for orchestra. The starting point for any development.
Nix doesn't have /bin/bash so orchestra doesn't work
Hi, I follow the instruction to install revng. But orchestra cannot work correctly to install rev.ng [https://github.com/revng/orchestra/tree/master#building-from-source](url). I type `orc update` and get ``` [+] WARNING - The remote HEADs...
Or use a German mirror in other cases. I bet I'm gonna break the CI with my new forks namespace :smiling_imp:
@antoniofrighetto reported a coreutils build failure at link time, due to coreutils missing a dependency on the correct platform libc. Installing the correct libc solved the issue, so this PR...
This PR integrates revng-distributable tests with orchestra. To run the tests, do `orc install -b --test revng-distributable`. By default, tests run on all supported distros using podman and xvfb. To...
Create `toolchain/$arch/cxx-toolchain` components, which provide a c/c++ toolchain for the given architecture. All toolchains are currently based on gcc, except for `toolchain/host/cxx-toolchain` which is based on clang-release. To require gcc...
