Commit da23c38e authored by jhugues's avatar jhugues

* 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
parent 42d02338
...@@ -197,7 +197,9 @@ package body Ocarina.Backends.PO_HI_Ada is ...@@ -197,7 +197,9 @@ package body Ocarina.Backends.PO_HI_Ada is
Change_If_Empty (String_Ptr (Target_Prefix), "m"); Change_If_Empty (String_Ptr (Target_Prefix), "m");
Target := new String'("MARTEOS"); 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; null;
when others => when others =>
...@@ -205,7 +207,9 @@ package body Ocarina.Backends.PO_HI_Ada is ...@@ -205,7 +207,9 @@ package body Ocarina.Backends.PO_HI_Ada is
& Execution_Platform'Img; & Execution_Platform'Img;
end case; 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 ("GNATMAKE = " & Target_Prefix.all & "gnatmake");
Write_Line ("GNAT = " & Target_Prefix.all & "gnat"); Write_Line ("GNAT = " & Target_Prefix.all & "gnat");
Write_Line ("GCC = " & Target_Prefix.all & "gcc"); Write_Line ("GCC = " & Target_Prefix.all & "gcc");
......
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