-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtb_2012.gpr
64 lines (54 loc) · 1.98 KB
/
tb_2012.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
with "aunit";
with "aws";
with "gnatcoll";
project tb_2012 is
type Op_Type is ( "std", "asis", "optimised", "none" );
op : Op_Type := external( "OP", "std" );
for Languages use( "Ada" );
for Source_Dirs use( "src/**" );
for Ignore_Source_Sub_Dirs use (".svn", ".git" );
for Excluded_Source_Dirs use ( "tests", "src/uk/raw/frs/scripts/database/**" );
for Object_Dir use "bin/";
for Main use(
"convert_raw_frss.adb",
"convert_raw_frs_to_model_data.adb",
"create_raw_ies_data.adb",
"create_model_datasets.adb",
"create_inequality_statistics.adb",
"append_to_file.adb",
"za_runner.adb",
"create_bhps_binary_datasets" );
Includeopt := ("-gnat2012");
Libopt := "";
SimpleOpts := ( "" );
AsisOpts := ( "-gnatc", "-gnatt" );
OptimisedOpts := ( "-gnatp", "-O3", "-fomit-frame-pointer", "-lpthread", "-funroll-loops" );
LibOpt := "";
for Exec_Dir use "bin/";
package Linker is
for Default_Switches ("ada") use ("-g" );
end Linker;
package Pretty_Printer is
for Default_Switches ("ada") use ("-M140", "-l3");
end Pretty_Printer;
package Binder is
for Default_Switches ("ada") use ("-static", "-E" );
-- stack at exceptions, list restrictions, static linking
end Binder;
package Compiler is
case op is
when "std" =>
for Default_Switches ( "ada" ) use IncludeOPT & ( "-g", "-gnato", "-E", "-fstack-check" ); -- );
when "none" =>
for Default_Switches ( "ada" ) use SimpleOpts;
when "asis" =>
for Default_Switches ( "ada" ) use AsisOpts;
when "optimised" =>
for Default_Switches ( "ada" ) use OptimisedOpts;
end case;
end Compiler;
package Builder is
for Default_Switches ("ada")
use IncludeOPT & ("-g", "-gnatQ", "-x", "-E" ); -- ada 2005 mode,
end Builder;
end tb_2012;