https://www.mathworks.com/help/codeprover/ug/specify-target-environment-and-compiler-behavior.html
Configure Sources and Build Options in Project for Polyspace Analysis and Testing - MATLAB &...
Set build options in Polyspace project configuration, generate source paths and build options using build command or compilation database.
configure sourcesbuild optionsin project