Commit ec7ce83b authored by yoogx's avatar yoogx
Browse files

* Remove some restrictions for compatibility with GNATColl

parent 97244f62
...@@ -10,10 +10,12 @@ pragma Restriction_Warnings (No_Direct_Boolean_Operators); -- GNAT specific ...@@ -10,10 +10,12 @@ pragma Restriction_Warnings (No_Direct_Boolean_Operators); -- GNAT specific
pragma Initialize_Scalars; pragma Initialize_Scalars;
pragma Profile_Warnings (Ravenscar); --pragma Profile_Warnings (Ravenscar);
pragma Restrictions (No_Task_Allocators); --pragma Restrictions (No_Task_Allocators);
pragma Restrictions (No_Protected_Types); --pragma Restrictions (No_Protected_Types);
pragma Restrictions (No_Fixed_Point); -- pragma Restrictions (No_Fixed_Point);
-- violated by use of GNATCOll
-- pragma Restrictions (No_Wide_Characters); -- pragma Restrictions (No_Wide_Characters);
-- violated in ocarina-backends-utils.adb:2505 -- violated in ocarina-backends-utils.adb:2505
pragma Restrictions (No_Implicit_Heap_Allocations); --pragma Restrictions (No_Implicit_Heap_Allocations);
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