With the latest orchestra, the flags provided through hard_compiler_wrapper.py are passed directly to the compiler and they are not written in compile_commands.json, which is used by clangd to provide code completion.
At the moment, the only flag which is causing problems with ui/cold-revng is -fstdlib=libc++ which would be useful to write in some way in the compile_commands file.
With the latest orchestra, the flags provided through
hard_compiler_wrapper.pyare passed directly to the compiler and they are not written incompile_commands.json, which is used by clangd to provide code completion.At the moment, the only flag which is causing problems with ui/cold-revng is
-fstdlib=libc++which would be useful to write in some way in the compile_commands file.