Commit ee6732d2 authored by jdelange's avatar jdelange

 * ocarina/resources/deployment.aadl
   ocarina/src/backends/ocarina-backends-properties.adb
   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   - Integrate SCOC3 platform
   - Solve autobuild issues



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5542 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 91b57e71
......@@ -30,6 +30,7 @@ property set Deployment is
bench, -- Benchmark platform (native with instrumentation).
LEON_RTEMS, -- LEON2 board or tsim-leon (RTEMS)
LEON_RTEMS_POSIX, -- LEON2 board or tsim-leon (RTEMS)
LEON3_SCOC3, -- LEON3 with RTEMS for SCOC3
LEON3_XTRATUM, -- LEON3 with Xtratum
LEON3_XM3, -- RTEMS for XTRATUM/LEON3
LEON_ORK, -- LEON2 board or tsim-leon (ORK)
......
......@@ -248,6 +248,9 @@ package body Ocarina.Backends.PO_HI_C is
when Platform_LEON3_XM3 =>
Write_Str ("leon3-xm3");
when Platform_LEON3_SCOC3 =>
Write_Str ("leon3-scoc3");
when Platform_LINUX32_XENOMAI_NATIVE =>
Write_Str ("linux32-xenomai-native");
......
......@@ -323,6 +323,7 @@ package body Ocarina.Backends.Properties is
Platform_X86_RTEMS_POSIX_Name : Name_Id;
Platform_LEON_GNAT_Name : Name_Id;
Platform_LEON_ORK_Name : Name_Id;
Platform_LEON3_SCOC3_Name : Name_Id;
Platform_LEON3_XM3_Name : Name_Id;
Platform_LEON3_Xtratum_Name : Name_Id;
Platform_ERC32_ORK_Name : Name_Id;
......@@ -2691,6 +2692,8 @@ package body Ocarina.Backends.Properties is
return Platform_LEON_ORK;
elsif P_Name = Platform_LEON3_XM3_Name then
return Platform_LEON3_XM3;
elsif P_Name = Platform_LEON3_SCOC3_Name then
return Platform_LEON3_SCOC3;
elsif P_Name = Platform_LEON3_Xtratum_Name then
return Platform_LEON3_XTRATUM;
elsif P_Name = Platform_ERC32_ORK_Name then
......@@ -3240,6 +3243,7 @@ package body Ocarina.Backends.Properties is
Platform_LEON_RTEMS_POSIX_Name := Get_String_Name ("leon_rtems_posix");
Platform_LEON_GNAT_Name := Get_String_Name ("leon_gnat");
Platform_LEON_ORK_Name := Get_String_Name ("leon_ork");
Platform_LEON3_SCOC3_Name := Get_String_Name ("leon3_scoc3");
Platform_LEON3_XM3_Name := Get_String_Name ("leon3_xm3");
Platform_LEON3_XTRATUM_Name := Get_String_Name ("leon3_xtratum");
Platform_ERC32_ORK_Name := Get_String_Name ("erc32_ork");
......
......@@ -585,6 +585,7 @@ package Ocarina.Backends.Properties is
Platform_X86_RTEMS_POSIX,
Platform_X86_LINUXTASTE,
Platform_LEON_GNAT,
Platform_LEON3_SCOC3,
Platform_LEON3_XM3,
Platform_LEON3_XTRATUM,
Platform_LEON_ORK,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment