-
Notifications
You must be signed in to change notification settings - Fork 2
/
ini_files.gpr
47 lines (42 loc) · 2.03 KB
/
ini_files.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
-- This is a GNAT, GCC or GNAT Studio project file
-- for the Ini-Files project:
--
-- Project page: http://sf.net/projects/ini-files/
-- Mirror: https://github.com/zertovitch/ini-files
-- Alire crate: https://alire.ada.dev/crates/ini_files
--
-- Build me with "gprbuild -P ini_files", or open me with GNAT Studio.
--
project Ini_files is
for Main use (
"test_config.adb",
"rosetta_read_cfg.adb",
"rosetta_updt_cfg.adb",
"rosetta_updt_cfg_reset.adb"
);
for Source_Dirs use (".", "tests");
for Object_Dir use "obj";
for Exec_Dir use ".";
for Create_Missing_Dirs use "True"; -- Flips by default the "-p" switch
package Compiler is
for Default_Switches ("ada") use (
"-gnatyaknpr", -- Style: check all casings: a:attribute, k:keywords, n:package Standard identifiers, p:pragma, r:identifier references
"-gnatybfhiu", -- Style: check b:no blanks at end of lines, f:no ff/vtabs, h: no htabs, i:if-then layout, u:no unnecessary blank lines
"-gnatyO", -- Style: check that overriding subprograms are explicitly marked as such.
"-gnatyx", -- Style: check x:no extra parens
"-gnatye", -- Style: check e:end/exit labels present
"-gnatytc", -- Style: check t:token separation rules, c:comment format (two spaces)
"-gnatwa", -- Warnings: all standards info/warnings
"-gnatwh", -- Warnings: turn on warnings for hiding declarations
"-gnatVa" -- turn on all validity checking options
);
end Compiler;
package Builder is
-- "If -j0 is used, then the maximum number of simultaneous compilation
-- jobs is the number of core processors on the platform."
for Default_Switches ("ada") use ("-j0");
end Builder;
package Ide is
for Default_Switches ("adacontrol") use ("-f", "verif.aru");
end Ide;
end Ini_files;