blob: 48392352ebdf2f666cce7d8e80112d892d34eb61 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
; Options for the Ada front end.
; Copyright (C) 2003, 2007, 2008, 2010, 2011 Free Software Foundation, Inc.
;
; This file is part of GCC.
;
; GCC is free software; you can redistribute it and/or modify it under
; the terms of the GNU General Public License as published by the Free
; Software Foundation; either version 3, or (at your option) any later
; version.
;
; GCC is distributed in the hope that it will be useful, but WITHOUT ANY
; WARRANTY; without even the implied warranty of MERCHANTABILITY or
; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
; for more details.
;
; You should have received a copy of the GNU General Public License
; along with GCC; see the file COPYING3. If not see
; <http://www.gnu.org/licenses/>.
; See the GCC internals manual for a description of this file's format.
; Please try to keep this file in ASCII collating order.
Language
Ada
Language
AdaWhy
-all-warnings
Ada AdaWhy Alias(Wall)
-include-barrier
Ada AdaWhy Alias(I, -)
-include-directory
Ada AdaWhy Separate Alias(I)
-include-directory=
Ada AdaWhy Joined Alias(I)
-no-standard-includes
Ada AdaWhy Alias(nostdinc)
-no-standard-libraries
Ada AdaWhy Alias(nostdlib)
I
Ada AdaWhy Joined Separate
-I <dir>. Add <dir> to the end of the main source path
Wall
Ada AdaWhy
Enable most warning messages
k8
Driver
Synonym of -gnatk8
nostdinc
Ada AdaWhy RejectNegative
Do not look for source files in standard path
nostdlib
Ada AdaWhy
Do not look for object files in standard path
fRTS=
Ada AdaWhy Joined RejectNegative
Select the runtime
gant
Ada AdaWhy Joined Undocumented
Catch typos
gnatO
Ada AdaWhy Separate
Set name of output ALI file (internal switch)
gnat
Ada AdaWhy Joined
-gnat<options> Specify options to GNAT
; This comment is to ensure we retain the blank line above.
|
