1
2
3
4
5
6
7
8
9
10
11
|
project Natools is
type Build_Type is ("Release", "Coverage");
Mode : Build_Type := external ("MODE", "Release");
Prefix := "";
Extra_Switches := ();
case Mode is
when "Release" =>
Prefix := "";
when "Coverage" =>
|
>
>
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
project Natools is
type Build_Type is ("Release", "Coverage");
Mode : Build_Type := external ("MODE", "Release");
type Task_Safety is ("None");
Safety : Task_Safety := external ("TASK_SAFETY", "None");
Prefix := "";
Extra_Switches := ();
case Mode is
when "Release" =>
Prefix := "";
when "Coverage" =>
|
59
60
61
62
63
64
65
66
|
"-fstack-check")
& Extra_Switches;
end Compiler;
package Linker is
for Default_Switches ("Ada") use Extra_Switches;
end Linker;
end Natools;
|
>
>
>
>
>
>
>
>
>
>
|
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
"-fstack-check")
& Extra_Switches;
end Compiler;
package Linker is
for Default_Switches ("Ada") use Extra_Switches;
end Linker;
package Naming is
case Safety is
when "None" =>
for spec ("Natools.References")
use "natools-references__unsafe.ads";
for body ("Natools.References")
use "natools-references__unsafe.adb";
end case;
end Naming;
end Natools;
|