* loop-invariant.c (invariant_for_use, check_dependencies): Fail for
[official-gcc.git] / gcc / ada / bindusg.adb
blobd39789a8ad546dee724344d5d62fb64a1d9ffbeb
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- B I N D U S G --
6 -- --
7 -- B o d y --
8 -- --
9 -- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 2, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
20 -- Boston, MA 02110-1301, USA. --
21 -- --
22 -- GNAT was originally developed by the GNAT team at New York University. --
23 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 -- --
25 ------------------------------------------------------------------------------
27 with Osint; use Osint;
28 with Output; use Output;
30 procedure Bindusg is
32 -- Start of processing for Bindusg
34 begin
35 -- Usage line
37 Write_Str ("Usage: ");
38 Write_Program_Name;
39 Write_Char (' ');
40 Write_Str ("switches lfile");
41 Write_Eol;
42 Write_Eol;
44 -- Line for -aO switch
46 Write_Str (" -aOdir Specify library files search path");
47 Write_Eol;
49 -- Line for -aI switch
51 Write_Str (" -aIdir Specify source files search path");
52 Write_Eol;
54 -- Line for a switch
56 Write_Str (" -a Automatically initialize elaboration procedure");
57 Write_Eol;
59 -- Line for A switch
61 Write_Str (" -A Generate binder program in Ada (default)");
62 Write_Eol;
64 -- Line for -b switch
66 Write_Str (" -b Generate brief messages to std");
67 Write_Str ("err even if verbose mode set");
68 Write_Eol;
70 -- Line for -c switch
72 Write_Str (" -c Check only, no generation of b");
73 Write_Str ("inder output file");
74 Write_Eol;
76 -- Line for C switch
78 Write_Str (" -C Generate binder program in C");
79 Write_Eol;
81 -- Line for -d switch
83 Write_Str (" -dnn[k|m] Default primary stack size = nn [kilo|mega] ");
84 Write_Str ("bytes ");
85 Write_Eol;
87 -- Line for D switch
89 Write_Str (" -Dnn[k|m] Default secondary stack size = nnn [kilo|mega] ");
90 Write_Str ("bytes");
91 Write_Eol;
93 -- Line for -e switch
95 Write_Str (" -e Output complete list of elabor");
96 Write_Str ("ation order dependencies");
97 Write_Eol;
99 -- Line for -E switch
101 Write_Str (" -E Store tracebacks in Exception occurrences");
102 Write_Eol;
104 -- The -f switch is voluntarily omitted, because it is obsolete
106 -- Line for -F switch
108 Write_Str (" -F Force checking of elaboration Flags");
109 Write_Eol;
111 -- Line for -h switch
113 Write_Str (" -h Output this usage (help) infor");
114 Write_Str ("mation");
115 Write_Eol;
117 -- Lines for -I switch
119 Write_Str (" -Idir Specify library and source files search path");
120 Write_Eol;
122 Write_Str (" -I- Don't look for sources & library files");
123 Write_Str (" in default directory");
124 Write_Eol;
126 -- Line for -K switch
128 Write_Str (" -K Give list of linker options specified for link");
129 Write_Eol;
131 -- Line for -l switch
133 Write_Str (" -l Output chosen elaboration order");
134 Write_Eol;
136 -- Line of -L switch
138 Write_Str (" -Lxyz Library build: adainit/final ");
139 Write_Str ("renamed to xyzinit/final, implies -n");
140 Write_Eol;
142 -- Line for -m switch
144 Write_Str (" -mnnn Limit number of detected error");
145 Write_Str ("s to nnn (1-999999)");
146 Write_Eol;
148 -- Line for -M switch
150 Write_Str (" -Mxyz Rename generated main program from main to xyz");
151 Write_Eol;
153 -- Line for -n switch
155 Write_Str (" -n No Ada main program (foreign main routine)");
156 Write_Eol;
158 -- Line for -nostdinc
160 Write_Str (" -nostdinc Don't look for source files");
161 Write_Str (" in the system default directory");
162 Write_Eol;
164 -- Line for -nostdlib
166 Write_Str (" -nostdlib Don't look for library files");
167 Write_Str (" in the system default directory");
168 Write_Eol;
170 -- Line for -o switch
172 Write_Str (" -o file Give the output file name (default is b~xxx.adb) ");
173 Write_Eol;
175 -- Line for -O switch
177 Write_Str (" -O Give list of objects required for link");
178 Write_Eol;
180 -- Line for -p switch
182 Write_Str (" -p Pessimistic (worst-case) elaborat");
183 Write_Str ("ion order");
184 Write_Eol;
186 -- Line for -r switch
188 Write_Str (" -r List restrictions that could be a");
189 Write_Str ("pplied to this partition");
190 Write_Eol;
192 -- Line for -s switch
194 Write_Str (" -s Require all source files to be");
195 Write_Str (" present");
196 Write_Eol;
198 -- Line for -Sxx switch
200 Write_Str (" -S?? Sin/lo/hi/xx for Initialize_Scalars");
201 Write_Str (" invalid/low/high/hex");
202 Write_Eol;
204 -- Line for -static
206 Write_Str (" -static Link against a static GNAT run time");
207 Write_Eol;
209 -- Line for -shared
211 Write_Str (" -shared Link against a shared GNAT run time");
212 Write_Eol;
214 -- Line for -t switch
216 Write_Str (" -t Tolerate time stamp and other consistency errors");
217 Write_Eol;
219 -- Line for -T switch
221 Write_Str (" -Tn Set time slice value to n milliseconds (n >= 0)");
222 Write_Eol;
224 -- Line for -u switch
226 Write_Str (" -un Enable dynamic stack analysis, with n results ");
227 Write_Str ("stored");
228 Write_Eol;
230 -- Line for -v switch
232 Write_Str (" -v Verbose mode. Error messages, ");
233 Write_Str ("header, summary output to stdout");
234 Write_Eol;
236 -- Lines for -w switch
238 Write_Str (" -wx Warning mode. (x=s/e for supp");
239 Write_Str ("ress/treat as error)");
240 Write_Eol;
242 -- Line for -x switch
244 Write_Str (" -x Exclude source files (check ob");
245 Write_Str ("ject consistency only)");
246 Write_Eol;
248 -- Line for X switch
250 Write_Str (" -Xnnn Default exit status value = nnn");
251 Write_Eol;
253 -- Line for -z switch
255 Write_Str (" -z No main subprogram (zero main)");
256 Write_Eol;
258 -- Line for --RTS
260 Write_Str (" --RTS=dir specify the default source and object search path");
261 Write_Eol;
263 -- Line for sfile
265 Write_Str (" lfile Library file names");
266 Write_Eol;
268 end Bindusg;