Check_Elab_Flag :=
Units.Table (Unum_Spec).Set_Elab_Entity
+ and then Check_Elaboration_Flags
and then not CodePeer_Mode
and then (Force_Checking_Of_Elaboration_Flags
or Interface_Library_Unit
(" -I- Don't look for sources & library files in default "
& "directory");
+ -- Line for -k switch
+
+ Write_Line
+ (" -k Disable checking of elaboration flags");
+
-- Line for -K switch
Write_Line
ALI file named in the ``gnatbind`` command line.
+ .. index:: -k (gnatbind)
+
+:switch:`-k`
+ Disable checking of elaboration flags. When using :switch:`-n`
+ either explicitly or implicitly, :switch:`-F` is also implied,
+ unless :switch:`-k` is used. This switch should be used with care
+ and you should ensure manually that elaboration routines are not called
+ twice unintentionally.
+
+
+ .. index:: -K (gnatbind)
+
+:switch:`-K`
+ Give list of linker options specified for link.
+
+
.. index:: -l (gnatbind)
:switch:`-l`
invoked, and do not look for ALI files in the directory containing the
ALI file named in the @code{gnatbind} command line.
+@geindex -k (gnatbind)
+
+@item @code{-k}
+
+Disable checking of elaboration flags. When using @code{-n}
+either explicitly or implicitly, @code{-F} is also implied,
+unless @code{-k} is used. This switch should be used with care
+and you should ensure manually that elaboration routines are not called
+twice unintentionally.
+
+@geindex -K (gnatbind)
+
+@item @code{-K}
+
+Give list of linker options specified for link.
+
@geindex -l (gnatbind)
@item @code{-l}
@printindex ge
-@anchor{cf}@w{ }
@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ }
+@anchor{cf}@w{ }
@c %**end of body
@bye
-- Set to True to detect whether subprogram parameters and function results
-- alias the same object(s).
+ Check_Elaboration_Flags : Boolean := True;
+ -- GNATBIND
+ -- Set to False if switch -k is set.
+
Check_Float_Overflow : Boolean := False;
-- GNAT
-- Set to True to check that operations on predefined unconstrained float
Bad_Switch (Switch_Chars);
end if;
+ -- Processing for k switch
+
+ when 'k' =>
+ Ptr := Ptr + 1;
+ Check_Elaboration_Flags := False;
+
-- Processing for K switch
when 'K' =>