-
Notifications
You must be signed in to change notification settings - Fork 0
/
puzzle_03.gpr
102 lines (89 loc) · 3.2 KB
/
puzzle_03.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
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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
with "config/puzzle_03_config.gpr";
project Puzzle_03 is
for Source_Dirs use ("src");
for Object_Dir use "obj";
for Create_Missing_Dirs use "True";
for Exec_Dir use "bin";
for Main use ("Puzzle_03_A.adb","Puzzle_03_B.adb");
type Enabled_Kind is ("enabled", "disabled");
Compile_Checks : Enabled_Kind := External ("PUZZLE_03_COMPILE_CHECKS", "disabled");
Runtime_Checks : Enabled_Kind := External ("PUZZLE_03_RUNTIME_CHECKS", "disabled");
Style_Checks : Enabled_Kind := External ("PUZZLE_03_STYLE_CHECKS", "disabled");
Contracts_Checks : Enabled_Kind := External ("PUZZLE_03_CONTRACTS", "disabled");
type Build_Kind is ("debug", "optimize");
Build_Mode : Build_Kind := External ("PUZZLE_03_BUILD_MODE", "optimize");
Compile_Checks_Switches := ();
case Compile_Checks is
when "enabled" =>
Compile_Checks_Switches :=
("-gnatwa", -- All warnings
"-gnatVa", -- All validity checks
"-gnatwe"); -- Warnings as errors
when others => null;
end case;
Runtime_Checks_Switches := ();
case Runtime_Checks is
when "enabled" => null;
when others =>
Runtime_Checks_Switches :=
("-gnatp"); -- Suppress checks
end case;
Style_Checks_Switches := ();
case Style_Checks is
when "enabled" =>
Style_Checks_Switches :=
("-gnatyg", -- GNAT Style checks
"-gnaty-d", -- Disable no DOS line terminators
"-gnatyM80", -- Maximum line length
"-gnatyO"); -- Overriding subprograms explicitly marked as such
when others => null;
end case;
Contracts_Switches := ();
case Contracts_Checks is
when "enabled" =>
Contracts_Switches :=
("-gnata"); -- Enable assertions and contracts
when others => null;
end case;
Build_Switches := ();
case Build_Mode is
when "optimize" =>
Build_Switches := ("-O3", -- Optimization
"-gnatn"); -- Enable inlining
when "debug" =>
Build_Switches := ("-g", -- Debug info
"-Og"); -- No optimization
end case;
package Compiler is
for Default_Switches ("Ada") use
Compile_Checks_Switches &
Build_Switches &
Runtime_Checks_Switches &
Style_Checks_Switches &
Contracts_Switches &
("-gnatw.X", -- Disable warnings for No_Exception_Propagation
"-gnatQ", -- Don't quit. Generate ALI and tree files even if illegalities
"-gnat2022");
end Compiler;
package Binder is
for Switches ("Ada") use ("-Es"); -- Symbolic traceback
end Binder;
package Naming is
for Casing use "mixedcase";
end Naming;
package Pretty_Printer is
for Default_switches ("Ada")
use("--indentation=4",
"--max-line-length=132",
"--pragma-upper-case",
"--enum-upper-case",
"--vertical-enum-types",
"--vertical-array-types" ,
"--indent-named-statements",
"--no-compact",
"--call-threshold=1",
"--par-threshold=1",
"--use-on-new-line",
"--vertical-case-alternatives");
end Pretty_Printer;
end Puzzle_03;