Generate a compile_commands.json for a specific target

[itavero (Arno Moonen)]

@ben.boeckel

Is it expensive to reconfigure? What’s wrong with having two build trees, one with and one without?

Reconfiguring is not that bad, but it does take time and interrupts the flow.
Multiple build trees could work, but I’m not sure how we’d integrate that into Visual Studio Code.
Currently we can just start the PC Lint Plus task, regardless of the configuration and such being selected.

@ben.boeckel

That said, there’s no mechanism currently available to have different compilation databases. This might be a reasonable request (though something has to “lose” and not get compile_commands.json as the filename).

I think something like <target>.compile_commands.json would do. Preferably the name/path should be retrievable via a generator expression, as this can then be used to pass the path to the configuration script provided with PC Lint Plus. Where should I propose such a feature request?