* Add support for AIR platform

	For openaadl/ocarina#160

resources/deployment.aadl

@@ -39,7 +39,8 @@ property set Deployment is
     MARTE_OS,                 -- MaRTE OS
     WIN32,                    -- WIN32
     VXWORKS,                  -- VXWORKS
-    FREERTOS                  -- FREERTOS
+    FREERTOS,                 -- FREERTOS
+    AIR                       -- AIR Hypervisor, by GMV
     );
   --  Supported platforms
 

src/backends/ocarina-backends-properties.adb

@@ -328,7 +328,8 @@ package body Ocarina.Backends.Properties is
    Platform_ERC32_ORK_Name              : Name_Id;
    Platform_MARTE_OS_Name               : Name_Id;
    Platform_Vxworks_Name                : Name_Id;
-   Platform_GNAT_Runtime_Name             : Name_Id;
+   Platform_GNAT_Runtime_Name           : Name_Id;
+   Platform_AIR_Name                    : Name_Id;
 
    Transport_BSD_Sockets_Name : Name_Id;
    Transport_SpaceWire_Name   : Name_Id;
@@ -2457,6 +2458,8 @@ package body Ocarina.Backends.Properties is
             return Platform_VxWorks;
          elsif P_Name = Platform_GNAT_Runtime_Name then
             return Platform_GNAT_Runtime;
+         elsif P_Name = Platform_AIR_Name then
+            return Platform_AIR;
          else
             return Platform_None;
          end if;
@@ -3018,7 +3021,8 @@ package body Ocarina.Backends.Properties is
       Platform_ERC32_ORK_Name        := Get_String_Name ("erc32_ork");
       Platform_MARTE_OS_Name         := Get_String_Name ("marte_os");
       Platform_Vxworks_Name          := Get_String_Name ("vxworks");
-      Platform_GNAT_Runtime_Name       := Get_String_Name ("gnat_runtime");
+      Platform_GNAT_Runtime_Name     := Get_String_Name ("gnat_runtime");
+      Platform_AIR_Name              := Get_String_Name ("air");
 
       Transport_BSD_Sockets_Name := Get_String_Name ("bsd_sockets");
       Transport_SpaceWire_Name   := Get_String_Name ("spacewire");

src/backends/ocarina-backends-properties.ads

@@ -560,6 +560,7 @@ package Ocarina.Backends.Properties is
       Platform_MARTE_OS,
       Platform_VxWorks,
       Platform_GNAT_Runtime,
+      Platform_AIR,
       Platform_None); --  Unspecified
 
    function Get_Execution_Platform

src/backends/po_hi_c/ocarina-backends-po_hi_c.adb

@@ -242,6 +242,9 @@ package body Ocarina.Backends.PO_HI_C is
          when Platform_LINUX32_XENOMAI_POSIX =>
             Write_Str ("linux32-xenomai-posix");
 
+         when Platform_AIR =>
+            Write_Str ("air");
+
          when others =>
             Display_Error
               ("Unsupported platform " & Execution_Platform'Img,