If no compilation database is found when the users opens a workspace this plugin will add an option to create it with the CodeChecker log command. The command what we provide for the user looks like this:
The problem with this command is that it's not configurable. For example if the build command is not so simple the user always have to change this build command because the plugin will not remember to it.
To solve this problem I recommend to add an extra setting to make CodeChecker log command configurable. The default value can be --build "make".
If no compilation database is found when the users opens a workspace this plugin will add an option to create it with the
CodeChecker logcommand. The command what we provide for the user looks like this:CodeChecker log --output $WORKSPACE_FOLDER/.codechecker/compile_commands.json --build "make"The problem with this command is that it's not configurable. For example if the build command is not so simple the user always have to change this build command because the plugin will not remember to it.
To solve this problem I recommend to add an extra setting to make
CodeChecker logcommand configurable. The default value can be--build "make".