The node you are looking for is at
gnat_ugn/gnat_project_manager tools-options-in-project-files
.