diff options
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -233,6 +233,9 @@ options are passed to them: The command for invoking the builder, that is GPRbuild or Gnatmake. Default: gprbuild + GNATPREPFLAGS + A space-separated list of options to be passed to Gnatprep. + GNATFLAGS A space-separated list with all of the optional parameters to be passed to the builder, including any options to be forwarded to the compiler, binder |