Commit 99bc765f authored by hugues.jerome's avatar hugues.jerome

* Add VxWorks to the list of supported platforms



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1366 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 0bc5c161
...@@ -34,7 +34,8 @@ property set Deployment is ...@@ -34,7 +34,8 @@ property set Deployment is
ARM_N770, -- Nokia N770 (tm) ARM_N770, -- Nokia N770 (tm)
X86_RTEMS, -- x86 under RTEMS X86_RTEMS, -- x86 under RTEMS
X86_LINUXTASTE,-- TASTE-specific linux distribution X86_LINUXTASTE,-- TASTE-specific linux distribution
MARTE_OS -- MaRTE OS MARTE_OS, -- MaRTE OS
VXWORKS -- VXWORKS
); );
-- Supported platforms -- Supported platforms
......
...@@ -306,6 +306,7 @@ package body Ocarina.Backends.Properties is ...@@ -306,6 +306,7 @@ package body Ocarina.Backends.Properties is
Platform_ARM_DSLINUX_Name : Name_Id; Platform_ARM_DSLINUX_Name : Name_Id;
Platform_ARM_N770_Name : Name_Id; Platform_ARM_N770_Name : Name_Id;
Platform_MARTE_OS_Name : Name_Id; Platform_MARTE_OS_Name : Name_Id;
Platform_Vxworks_Name : Name_Id;
Transport_BSD_Sockets_Name : Name_Id; Transport_BSD_Sockets_Name : Name_Id;
Transport_SpaceWire_Name : Name_Id; Transport_SpaceWire_Name : Name_Id;
...@@ -2523,11 +2524,12 @@ package body Ocarina.Backends.Properties is ...@@ -2523,11 +2524,12 @@ package body Ocarina.Backends.Properties is
return Platform_ARM_N770; return Platform_ARM_N770;
elsif P_Name = Platform_MARTE_OS_Name then elsif P_Name = Platform_MARTE_OS_Name then
return Platform_MARTE_OS; return Platform_MARTE_OS;
elsif P_Name = Platform_VxWorks_Name then
return Platform_VxWorks;
else else
Display_Located_Error Display_Located_Error
(AIN.Loc (P), (AIN.Loc (P), "Unknown execution platform", Fatal => True);
"Unknown execution platform",
Fatal => True);
return Platform_None; return Platform_None;
end if; end if;
else else
...@@ -3028,7 +3030,8 @@ package body Ocarina.Backends.Properties is ...@@ -3028,7 +3030,8 @@ package body Ocarina.Backends.Properties is
Platform_ERC32_ORK_Name := Get_String_Name ("erc32_ork"); Platform_ERC32_ORK_Name := Get_String_Name ("erc32_ork");
Platform_ARM_DSLINUX_Name := Get_String_Name ("arm_dslinux"); Platform_ARM_DSLINUX_Name := Get_String_Name ("arm_dslinux");
Platform_ARM_N770_Name := Get_String_Name ("arm_n770"); Platform_ARM_N770_Name := Get_String_Name ("arm_n770");
Platform_MARTE_OS_Name := Get_String_Name ("marte_os"); Platform_MARTE_OS_Name := Get_String_Name ("marte_os");
Platform_VxWorks_Name := Get_String_Name ("vxworks");
Transport_BSD_Sockets_Name := Get_String_Name ("bsd_sockets"); Transport_BSD_Sockets_Name := Get_String_Name ("bsd_sockets");
Transport_SpaceWire_Name := Get_String_Name ("spacewire"); Transport_SpaceWire_Name := Get_String_Name ("spacewire");
......
...@@ -566,6 +566,7 @@ package Ocarina.Backends.Properties is ...@@ -566,6 +566,7 @@ package Ocarina.Backends.Properties is
Platform_ARM_DSLINUX, Platform_ARM_DSLINUX,
Platform_ARM_N770, Platform_ARM_N770,
Platform_MARTE_OS, Platform_MARTE_OS,
Platform_VxWorks,
Platform_None); -- Unspecified Platform_None); -- Unspecified
function Get_Execution_Platform function Get_Execution_Platform
......
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