4.2 Switches for gnatbind
The following switches are available with
gnatbind; details will
be presented in subsequent sections.
- Specify directory to be searched for ALI files.
- Specify directory to be searched for source file.
- Generate binder program in Ada (default)
- Generate brief messages to stderr even if verbose mode set.
- Check only, no generation of binder output file.
- Generate binder program in C
- Output complete list of elaboration-order dependencies.
- Store tracebacks in exception occurrences when the target supports it.
This is the default with the zero cost exception mechanism.
See also the packages
GNAT.Traceback.Symbolic for more information.
Note that on x86 ports, you must not use -fomit-frame-pointer
- Force the checks of elaboration flags. gnatbind does not normally
generate checks of elaboration flags for the main executable, except when
a Stand-Alone Library is used. However, there are cases when this cannot be
detected by gnatbind. An example is importing an interface of a Stand-Alone
Library through a pragma Import and only specifying through a linker switch
this Stand-Alone Library. This switch is used to guarantee that elaboration
flag checks are generated.
- Output usage (help) information
- Specify directory to be searched for source and ALI files.
- Do not look for sources in the current directory where
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.
- Bind the units for library building. In this case the adainit and
adafinal procedures (see Binding with Non-Ada Main Programs)
are renamed to xxxinit and
(See GNAT and Libraries, for more details.)
- Rename generated main program from main to xyz
- Limit number of detected errors to n, where n is
in the range 1..999_999. The default value if no switch is
given is 9999. Binding is terminated if the limit is exceeded.
Furthermore, under Windows, the sources pointed to by the libraries path
set in the registry are not searched for.
- No main program.
- Do not look for sources in the system default directory.
- Do not look for library files in the system default directory.
- Specifies the default location of the runtime library. Same meaning as the
equivalent gnatmake flag (see Switches for gnatmake).
- -o file
- Name the output file file (default is b~xxx.adb).
Note that if this option is used, then linking must be done manually,
gnatlink cannot be used.
- Output object list.
- Pessimistic (worst-case) elaboration order
- Require all source files to be present.
- Specifies the value to be used when detecting uninitialized scalar
objects with pragma Initialize_Scalars.
The xxx string specified with the switch may be either
- “in” requesting an invalid value where possible
- “lo” for the lowest possible value
possible, and the low
- “hi” for the highest possible value
- “xx” for a value consisting of repeated bytes with the
value 16#xx# (i.e. xx is a string of two hexadecimal digits).
In addition, you can specify -Sev to indicate that the value is
to be set at run time. In this case, the program will look for an environment
variable of the form
GNAT_INIT_SCALARS=xx, where xx is one
of in/lo/hi/xx with the same meanings as above.
If no environment variable is found, or if it does not have a valid value,
then the default is in (invalid values).
- Link against a static GNAT run time.
- Link against a shared GNAT run time when available.
- Tolerate time stamp and other consistency errors
- Set the time slice value to n milliseconds. If the system supports
the specification of a specific time slice value, then the indicated value
is used. If the system does not support specific time slice values, but
does support some general notion of round-robin scheduling, then any
non-zero value will activate round-robin scheduling.
A value of zero is treated specially. It turns off time
slicing, and in addition, indicates to the tasking run time that the
semantics should match as closely as possible the Annex D
requirements of the Ada RM, and in particular sets the default
scheduling policy to
- Verbose mode. Write error messages, header, summary output to
- Warning mode (x=s/e for suppress/treat as error)
- Exclude source files (check object consistency only).
- No main subprogram.
You may obtain this listing of switches by running