diff options
| author | Björn Persson <bjorn@rombobjörn.se> | 2013-10-22 09:13:59 +0200 |
|---|---|---|
| committer | Björn Persson <bjorn@rombobjörn.se> | 2013-10-22 09:13:59 +0200 |
| commit | 0e758f47deba535e53d5caa515df0d3ffafcc4d0 (patch) | |
| tree | 36a9d71593d41d9a09b460a7d3904818bf2b5107 /INSTALL | |
| parent | 56d4a112765ccd469307840cef2306be1b7d6a6e (diff) | |
Added GNATPREPFLAGS for completeness.
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 |