The gnatcheck command has the form gnatcheck [switches] {filename} [-files={arg_list_filename}] [-cargs gcc_switches] [-rules rule_options]