Attempting to add the CrazyFlie as another deployment target.

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

@@ -2279,6 +2279,7 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
                     Platform_ARM_DSLINUX         |
                     Platform_ARM_N770            |
                     Platform_NDS_RTEMS           |
+                    Platform_ARM_CrazyFlie       |
                     Platform_NDS_RTEMS_POSIX     |
                     Platform_Gumstix_RTEMS       |
                     Platform_Gumstix_RTEMS_POSIX |

src/backends/ocarina-backends-po_hi_c.adb

@@ -229,6 +229,9 @@ package body Ocarina.Backends.PO_HI_C is
          when Platform_ARM_N770 =>
             Write_Str ("arm.n770");
 
+         when Platform_ARM_CrazyFlie =>
+            Write_Str ("arm.crazyflie");
+
          when Platform_LINUX64 =>
             Write_Str ("linux64");
 

src/backends/ocarina-backends-properties.adb

@@ -328,6 +328,7 @@ package body Ocarina.Backends.Properties is
    Platform_ERC32_ORK_Name              : Name_Id;
    Platform_ARM_DSLINUX_Name            : Name_Id;
    Platform_ARM_N770_Name               : Name_Id;
+   Platform_ARM_CrazyFlie_Name          : Name_Id;
    Platform_MARTE_OS_Name               : Name_Id;
    Platform_Vxworks_Name                : Name_Id;
 
@@ -2450,6 +2451,8 @@ package body Ocarina.Backends.Properties is
             return Platform_ARM_DSLINUX;
          elsif P_Name = Platform_ARM_N770_Name then
             return Platform_ARM_N770;
+         elsif P_Name = Platform_ARM_CrazyFlie_Name then
+            return Platform_ARM_CrazyFlie;
          elsif P_Name = Platform_MARTE_OS_Name then
             return Platform_MARTE_OS;
          elsif P_Name = Platform_Vxworks_Name then
@@ -2973,6 +2976,7 @@ package body Ocarina.Backends.Properties is
       Platform_LEON3_Xtratum_Name    := Get_String_Name ("leon3_xtratum");
       Platform_ERC32_ORK_Name        := Get_String_Name ("erc32_ork");
       Platform_ARM_DSLINUX_Name      := Get_String_Name ("arm_dslinux");
+      Platform_ARM_CrazyFlie_Name    := Get_String_Name ("arm_crazyflie");
       Platform_ARM_N770_Name         := Get_String_Name ("arm_n770");
       Platform_MARTE_OS_Name         := Get_String_Name ("marte_os");
       Platform_Vxworks_Name          := Get_String_Name ("vxworks");

src/backends/ocarina-backends-properties.ads

@@ -564,6 +564,7 @@ package Ocarina.Backends.Properties is
       Platform_ERC32_ORK,
       Platform_ARM_DSLINUX,
       Platform_ARM_N770,
+      Platform_ARM_CrazyFlie,
       Platform_MARTE_OS,
       Platform_VxWorks,
       Platform_None); --  Unspecified