Commit 0a5c3e8d authored by TASTE User's avatar TASTE User

* Remove all restrictions, not supported by ARM full runtimes, also clean up in project file

parent 6debc7f3
......@@ -25,13 +25,13 @@ pragma Locking_Policy (Ceiling_Locking); -- D.13.1
-- For each restriction, we list its definition place in the Ada 2005
-- reference manual.
pragma Restrictions (No_Allocators); -- H.4 (7)
-- pragma Restrictions (No_Allocators); -- H.4 (7)
-- pragma Restrictions (No_Floating_Point); -- H.4 (14)
-- pragma Restrictions (No_Access_Subprograms); -- H.4 (17)
pragma Restrictions (No_Unchecked_Access); -- H.4 (18)
pragma Restrictions (No_Dispatch); -- H.4 (19)
pragma Restrictions (No_IO); -- H.4 (20)
pragma Restrictions (No_Recursion); -- H.4 (22)
-- pragma Restrictions (No_Unchecked_Access); -- H.4 (18)
-- pragma Restrictions (No_Dispatch); -- H.4 (19)
-- pragma Restrictions (No_IO); -- H.4 (20)
-- pragma Restrictions (No_Recursion); -- H.4 (22)
-- pragma Partition_Elaboration_Policy (Sequential); -- H.6 (3)
-- This policy eases task initial synchronization and the bootstrap
......@@ -47,7 +47,7 @@ pragma Restrictions (No_Recursion); -- H.4 (22)
-- GNAT.Sockets.Initialize, but it might still be required for older
-- compilers supported.
pragma Restrictions (No_Unchecked_Deallocation); -- J.13 (4)
-- pragma Restrictions (No_Unchecked_Deallocation); -- J.13 (4)
-- Sibling of the No_Allocators restriction.
-- XXX to be replaced with a No_Dependence restriction
......
......@@ -2,7 +2,7 @@
pragma Profile (Ravenscar); -- D.13.1
pragma Restrictions (No_Dependence => Ada.Finalization); -- 13.12.1 (12)
-- pragma Restrictions (No_Dependence => Ada.Finalization); -- 13.12.1 (12)
-- No controlled types, cannot be enforced for native compilers
-- because of the s-tpoben file.
......
......@@ -128,20 +128,6 @@ project PolyORB_HI is
end case;
end Compiler;
-- Default configuration for GNAT runtime for some cross-targets.
-- Note: PolyORB-HI/Ada requires a Ravenscar runtime
-- XXX: one would need to have this overriden from the command line
gnat_runtime := "";
case Target is
when "ARM_CORTEX" =>
gnat_runtime := "ravenscar-full-stm32f4";
when others =>
gnat_runtime := "";
end case;
-------------
-- Builder --
-------------
......
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