9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
when "Release" =>
Prefix := "";
when "Coverage" =>
Prefix := "coverage/";
end case;
-- Source_Dirs is left to default "."
for Source_Dirs use ("src");
for Object_Dir use Prefix & "obj";
for Exec_Dir use Prefix & "bin";
case Mode is
when "Release" =>
Extra_Switches := ("-O3");
when "Coverage" =>
|
|
|
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
when "Release" =>
Prefix := "";
when "Coverage" =>
Prefix := "coverage/";
end case;
-- Source_Dirs is left to default "."
for Source_Dirs use ("src", "generated");
for Object_Dir use Prefix & "obj";
for Exec_Dir use Prefix & "bin";
case Mode is
when "Release" =>
Extra_Switches := ("-O3");
when "Coverage" =>
|