* Add SPARK_Mode pragma

e5da9d64 · yoogx · 9d10452c · e5da9d64
Commit e5da9d64 authored Jun 08, 2014 by yoogx
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 0 deletions

src/gnat.adc src/gnat.adc +7 -0

No files found.
--- a/src/gnat.adc
+++ b/src/gnat.adc
@@ -11,6 +11,13 @@

 pragma Locking_Policy (Ceiling_Locking);                 -- D.13.1

+--------------------------------------------------------------------------------
+-- Activate SPARK Mode, even if we do not actually use it on the
+-- target: the code has Spark_Mode disabled in some occurences,
+-- without this pragma the code would be rejected.
+
+pragma Spark_Mode (On);
+
 --------------------------------------------------------------------------------
 --  The following define restrictions to be supported by the
 --  PolyORB-HI, common restrictions