The following are the switches available with gnatbind:
Generate brief messages to stderr even if verbose mode set.
Check only, no generation of binder output file.
Output complete list of elaboration-order dependencies.
Specify directory to be searched for source file.
Specify directory to be searched for ALI files.
Specify directory to be searched for source and ALI files.
Do not look for sources in the current directory where gnatbind was invoked, and do not look for ALI files in the directory containing the ALI file named in the gnatbind command line.
Output-chosen elaboration order.
Limit number of detected errors to n (1-999).
No main program.
Name the output file file (default is b_xxx.c).
Require all source files to be present.
Ignore time-stamp errors.
Verbose mode. Write error messages, header, summary output to stdout.
Warning mode (x=s/e for suppress/treat as error)
Exclude source files (check object consistency only).
You may obtain this listing by running the program gnatbind with no arguments.