1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
project AUnit_Shared is
Target := external ("AUNIT_PLATFORM", "native");
type Runtime_Type is
(
"full", -- used for all full capability runtimes
"zfp", -- used for typical zfp/sfp/minimal runtimes
"zfp-cross", -- used for zfp runtimes on some cross ports
"ravenscar", -- used for full ravenscar runtimes
"ravenscar-cert", -- used for ravenscar-cert runtimes
"cert" -- used for cert runtimes
);
Runtime : Runtime_Type := external ("AUNIT_RUNTIME", "full");
Library_Kind := external ("AUNIT_LIBRARY_KIND", "static");
Library_Dir := external ("AUNIT_LIBDIR", "../aunit/" & Target & "-" & Runtime
& "-" & Library_Kind);
for Source_Dirs use ();
type Exception_Type is ("fullexception", "certexception", "zfpexception");
type Calendar_Type is ("calendar", "nocalendar");
type Memory_type is ("nativememory", "nodealloc", "staticmemory");
type FileIO_Type is ("fileio", "nofileio");
Except : Exception_Type := "fullexception";
Calend : Calendar_Type := "calendar";
Memory : Memory_Type := "nativememory";
FileIO : FileIO_Type := "fileio";
case Runtime is
when "zfp" =>
Except := "zfpexception";
Calend := "nocalendar";
Memory := "nodealloc";
FileIO := "nofileio";
when "zfp-cross" =>
Except := "zfpexception";
Calend := "nocalendar";
Memory := "staticmemory";
FileIO := "nofileio";
when "ravenscar" =>
Except := "certexception";
Calend := "nocalendar";
FileIO := "nofileio";
when "ravenscar-cert" =>
Except := "certexception";
Calend := "calendar";
Memory := "staticmemory";
FileIO := "nofileio";
when "cert" =>
Except := "certexception";
Calend := "calendar";
Memory := "staticmemory";
FileIO := "nofileio";
when others =>
end case;
end AUnit_Shared;
|
