Commit 9c75fa44 authored by jdelange's avatar jdelange

* ocarina/src/backends/ocarina-backends-properties.adb

   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Handle new platforms for RTEMS and compcert deployment




git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2945 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 7bce01dc
......@@ -1906,14 +1906,16 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
(Corresponding_Instance (Q)));
case Execution_Platform is
when Platform_Native | Platform_None |
Platform_X86_RTEMS | Platform_X86_LINUXTASTE |
Platform_X86_RTEMS | Platform_X86_RTEMS_POSIX |
Platform_LINUX32_XENOMAI_NATIVE |
Platform_Native_Compcert |
Platform_LINUX32_XENOMAI_POSIX |
Platform_LINUX64 | Platform_LINUX32 =>
Append_Node_To_List
(RE (RE_Littleendian), CTN.Values (Endiannesses));
when Platform_LEON_RTEMS |
Platform_LEON_RTEMS_POSIX |
Platform_LEON3_XM3 =>
Append_Node_To_List
(RE (RE_Bigendian), CTN.Values (Endiannesses));
......
......@@ -175,12 +175,18 @@ package body Ocarina.Backends.PO_HI_C is
when Platform_LEON_RTEMS =>
Write_Str ("leon.rtems");
when Platform_LEON_RTEMS_POSIX =>
Write_Str ("leon.rtems_posix");
when Platform_X86_LINUXTASTE =>
Write_Str ("x86.linuxtaste");
when Platform_X86_RTEMS =>
Write_Str ("x86.rtems");
when Platform_X86_RTEMS_POSIX =>
Write_Str ("x86.rtems_posix");
when Platform_ARM_DSLINUX =>
Write_Str ("arm.dslinux");
......
......@@ -307,19 +307,21 @@ package body Ocarina.Backends.Properties is
Platform_LINUX32_Name : Name_Id;
Platform_LINUX32_Xenomai_Native_Name : Name_Id;
Platform_LINUX32_Xenomai_Posix_Name : Name_Id;
Platform_LINUX64_Name : Name_Id;
Platform_LEON_RTEMS_Name : Name_Id;
Platform_X86_LINUXTASTE_Name : Name_Id;
Platform_X86_RTEMS_Name : Name_Id;
Platform_LEON_GNAT_Name : Name_Id;
Platform_LEON_ORK_Name : Name_Id;
Platform_LEON3_XM3_Name : Name_Id;
Platform_LEON3_Xtratum_Name : Name_Id;
Platform_ERC32_ORK_Name : Name_Id;
Platform_ARM_DSLINUX_Name : Name_Id;
Platform_ARM_N770_Name : Name_Id;
Platform_MARTE_OS_Name : Name_Id;
Platform_Vxworks_Name : Name_Id;
Platform_LINUX64_Name : Name_Id;
Platform_LEON_RTEMS_Name : Name_Id;
Platform_LEON_RTEMS_POSIX_Name : Name_Id;
Platform_X86_LINUXTASTE_Name : Name_Id;
Platform_X86_RTEMS_Name : Name_Id;
Platform_X86_RTEMS_POSIX_Name : Name_Id;
Platform_LEON_GNAT_Name : Name_Id;
Platform_LEON_ORK_Name : Name_Id;
Platform_LEON3_XM3_Name : Name_Id;
Platform_LEON3_Xtratum_Name : Name_Id;
Platform_ERC32_ORK_Name : Name_Id;
Platform_ARM_DSLINUX_Name : Name_Id;
Platform_ARM_N770_Name : Name_Id;
Platform_MARTE_OS_Name : Name_Id;
Platform_Vxworks_Name : Name_Id;
Transport_BSD_Sockets_Name : Name_Id;
Transport_SpaceWire_Name : Name_Id;
......@@ -2615,6 +2617,8 @@ package body Ocarina.Backends.Properties is
return Platform_Bench;
elsif P_Name = Platform_Native_Compcert_Name then
return Platform_Native_Compcert;
elsif P_Name = Platform_LEON_RTEMS_POSIX_Name then
return Platform_LEON_RTEMS_POSIX;
elsif P_Name = Platform_LEON_RTEMS_Name then
return Platform_LEON_RTEMS;
elsif P_Name = Platform_X86_LINUXTASTE_Name then
......@@ -2627,6 +2631,8 @@ package body Ocarina.Backends.Properties is
return Platform_LINUX32_XENOMAI_POSIX;
elsif P_Name = Platform_LINUX64_Name then
return Platform_LINUX64;
elsif P_Name = Platform_X86_RTEMS_POSIX_Name then
return Platform_X86_RTEMS_POSIX;
elsif P_Name = Platform_X86_RTEMS_Name then
return Platform_X86_RTEMS;
elsif P_Name = Platform_LEON_GNAT_Name then
......@@ -3162,15 +3168,18 @@ package body Ocarina.Backends.Properties is
Platform_Bench_Name := Get_String_Name ("bench");
Platform_Native_Compcert_Name
:= Get_String_Name ("native_compcert");
Platform_X86_RTEMS_Name := Get_String_Name ("x86_rtems");
Platform_LINUX32_Name := Get_String_Name ("linux32");
Platform_X86_RTEMS_Name := Get_String_Name ("x86_rtems");
Platform_X86_RTEMS_POSIX_Name
:= Get_String_Name ("x86_rtems_posix");
Platform_LINUX32_Name := Get_String_Name ("linux32");
Platform_LINUX32_Xenomai_Native_Name
:= Get_String_Name ("linux32_xenomai_native");
Platform_LINUX32_Xenomai_Posix_Name
:= Get_String_Name ("linux32_xenomai_posix");
Platform_LINUX64_Name := Get_String_Name ("linux64");
Platform_X86_LINUXTASTE_Name := Get_String_Name ("x86_linuxtaste");
Platform_LEON_RTEMS_Name := Get_String_Name ("leon_rtems");
Platform_LINUX64_Name := Get_String_Name ("linux64");
Platform_X86_LINUXTASTE_Name := Get_String_Name ("x86_linuxtaste");
Platform_LEON_RTEMS_Name := Get_String_Name ("leon_rtems");
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_XM3_Name := Get_String_Name ("leon3_xm3");
......
......@@ -573,7 +573,9 @@ package Ocarina.Backends.Properties is
Platform_Native_Compcert,
Platform_Bench,
Platform_LEON_RTEMS,
Platform_LEON_RTEMS_POSIX,
Platform_X86_RTEMS,
Platform_X86_RTEMS_POSIX,
Platform_X86_LINUXTASTE,
Platform_LEON_GNAT,
Platform_LEON3_XM3,
......
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