From da23c38ef72041a22d1dda7015e5d9f883776f7b Mon Sep 17 00:00:00 2001 From: jhugues Date: Thu, 11 Oct 2012 10:30:02 +0000 Subject: [PATCH] * Make Platform_LEON_RTEMS_POSIX an alias for Platform_LEON_RTEMS, since the Ada runtime for RTEMS is built on top of POSIX git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5766 129961e7-ef38-4bb5-a8f7-c9a525a55882 --- src/backends/ocarina-backends-po_hi_ada.adb | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/backends/ocarina-backends-po_hi_ada.adb b/src/backends/ocarina-backends-po_hi_ada.adb index fe9b1b73..f3a97941 100644 --- a/src/backends/ocarina-backends-po_hi_ada.adb +++ b/src/backends/ocarina-backends-po_hi_ada.adb @@ -197,7 +197,9 @@ package body Ocarina.Backends.PO_HI_Ada is Change_If_Empty (String_Ptr (Target_Prefix), "m"); Target := new String'("MARTEOS"); - when Platform_LEON_RTEMS => + when Platform_LEON_RTEMS | + Platform_LEON_RTEMS_POSIX => + -- Nothing to do: a special makefile is used for RTEMS null; when others => @@ -205,7 +207,9 @@ package body Ocarina.Backends.PO_HI_Ada is & Execution_Platform'Img; end case; - if Execution_Platform /= Platform_LEON_RTEMS then + if Execution_Platform /= Platform_LEON_RTEMS + or else Execution_Platform /= Platform_LEON_RTEMS_POSIX + then Write_Line ("GNATMAKE = " & Target_Prefix.all & "gnatmake"); Write_Line ("GNAT = " & Target_Prefix.all & "gnat"); Write_Line ("GCC = " & Target_Prefix.all & "gcc"); -- GitLab