-
Notifications
You must be signed in to change notification settings - Fork 5
/
gprbuild_st.gpr
42 lines (37 loc) · 1.85 KB
/
gprbuild_st.gpr
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
-------------------------------------------------------------------------------
-- SweetAda GPRbuild project file
-------------------------------------------------------------------------------
abstract project Gprbuild_St is
MNL := "9"; -- Maximum Nesting Level
MLL := "132"; -- Maximum Line Length
ADAC_Switches_Style := (
"-gnaty3", -- Specify indentation level.
"-gnatyA", -- Use of array index numbers in array attributes.
"-gnatya", -- Check attribute casing.
"-gnatyb", -- Blanks not allowed at statement end.
"-gnatyB", -- Check Boolean operators.
-- "-gnatyc", -- Check comments, double space.
"-gnatyC", -- Check comments, single space.
"-gnatye", -- Check end/exit labels.
"-gnatyf", -- No form feeds or vertical tabs.
-- "-gnatyg", -- GNAT style mode.
"-gnatyh", -- No horizontal tabs.
-- "-gnatyI", -- check mode IN keywords.
"-gnatyi", -- Check if-then layout.
"-gnatyk", -- Check keyword casing.
"-gnatyL" & MNL, -- Set maximum nesting level.
"-gnatyl", -- Check layout.
-- "-gnatym", -- Check maximum line length.
"-gnatyM" & MLL, -- Set maximum line length.
"-gnatyn", -- Check casing of entities in Standard.
-- "-gnatyo", -- Check order of subprogram bodies.
"-gnatyO", -- Check that overriding subprograms are explicitly marked as such.
"-gnatyp", -- Check pragma casing.
"-gnatyr", -- Check references.
"-gnatyS", -- Check no statements after then/else.
"-gnatys", -- Check separate specs.
"-gnatyt", -- Check token spacing.
"-gnatyu", -- Check unnecessary blank lines.
"-gnatyx" -- Check extra parentheses.
);
end Gprbuild_St;