Overview
| Comment: | references: prepare variants, calling "unsafe" the existing one |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
ed32c25b9b4315a81931a1cb520720fb |
| User & Date: | nat on 2014-07-16 17:44:09 |
| Other Links: | manifest | tags |
Context
|
2014-07-17
| ||
| 19:37 | references__protected: task-safe portable variant of Natools.References, based on protected counters check-in: 66369eba6c user: nat tags: trunk | |
|
2014-07-16
| ||
| 17:44 | references: prepare variants, calling "unsafe" the existing one check-in: ed32c25b9b user: nat tags: trunk | |
|
2014-07-15
| ||
| 20:07 | reference_tests: add a task-safety test (that isn't relevant on single-core) check-in: 8292cedaee user: nat tags: trunk | |
Changes
Modified natools.gpr from [8d2e73e885] to [bffb90d568].
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;
|
Name change from src/natools-references.adb to src/natools-references__unsafe.adb.
| ︙ | ︙ |
Name change from src/natools-references.ads to src/natools-references__unsafe.ads.
| ︙ | ︙ |
Modified tests.gpr from [b51bbf43db] to [df94e40d79].
| ︙ | ︙ | |||
10 11 12 13 14 15 16 17 |
package Compiler is
for Default_Switches use Natools.Compiler'Default_Switches;
end Compiler;
package Linker is
for Default_Switches use Natools.Linker'Default_Switches;
end Linker;
end Tests;
| > > > > > > > > | 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 |
package Compiler is
for Default_Switches use Natools.Compiler'Default_Switches;
end Compiler;
package Linker is
for Default_Switches use Natools.Linker'Default_Switches;
end Linker;
package Naming is
case Natools.Safety is
when "None" =>
for body ("Natools.References.Tools")
use "natools-references-tools__unsafe.adb";
end case;
end Naming;
end Tests;
|
Name change from tests/natools-references-tools.adb to tests/natools-references-tools__unsafe.adb.
| ︙ | ︙ |