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" =>
|
|
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
|
project Natools is
type Build_Type is ("Release", "Coverage");
Mode : Build_Type := external ("MODE", "Release");
type Task_Safety is ("None", "Portable", "Intel");
-- Task-safe, portable, efficient: choose two
Safety : Task_Safety := external ("TASK_SAFETY", "None");
Prefix := "";
Extra_Switches := ();
case Mode is
when "Release" =>
|
75
76
77
78
79
80
81
82
83
84
|
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;
|
>
>
>
>
>
|
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
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";
when "Intel" =>
for spec ("Natools.References")
use "natools-references__intel.ads";
for body ("Natools.References")
use "natools-references__intel.adb";
end case;
end Naming;
end Natools;
|