gcc_switches is a list of switches for gcc. They will be passed on to all compiler invocations made by gnatcheck to generate the ASIS trees. Here you can provide '-I' switches to form the source search path, and use the '-gnatec' switch to set the configuration file.