1
2
3
4
5
6
7
8
9
10
11
12
|
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" =>
|
|
|
1
2
3
4
5
6
7
8
9
10
11
12
|
project Natools is
type Build_Type is ("Release", "Coverage");
Mode : Build_Type := external ("MODE", "Release");
type Task_Safety is ("None", "Portable");
Safety : Task_Safety := external ("TASK_SAFETY", "None");
Prefix := "";
Extra_Switches := ();
case Mode is
when "Release" =>
|
70
71
72
73
74
75
76
77
78
79
|
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;
|
>
>
>
>
>
|
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
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";
when "Portable" =>
for spec ("Natools.References")
use "natools-references__protected.ads";
for body ("Natools.References")
use "natools-references__protected.adb";
end case;
end Naming;
end Natools;
|