From 3fb68a5ec1c3f5e49f94363967feda5a172865a2 Mon Sep 17 00:00:00 2001 From: yoogx Date: Sun, 8 Jun 2014 12:49:06 -0700 Subject: [PATCH] * Add SPARK_Mode pragma --- src/gnat.adc | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/gnat.adc b/src/gnat.adc index 65a0ecf..83010e8 100644 --- 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 -- GitLab