+2010-10-12 Emmanuel Briot <briot@adacore.com>
+
+ * g-comlin.adb, g-comlin.ads (Define_Switch): Put back (unused)
+ parameter Separator for backward compatibility.
+
+2010-10-12 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch9.adb, par-ch9.adb, impunit.adb: Minor reformatting.
+
+2010-10-12 Vincent Celier <celier@adacore.com>
+
+ * debug.adb: Put detailed documentation for gnatmake switch -dm.
+
+2010-10-12 Vincent Celier <celier@adacore.com>
+
+ * gnat1drv.adb: When the compiler is invoked for a spec that needs aw
+ body, do not generate an ALI file if neither -gnatc nor -gnatQ is used.
+
2010-10-12 Arnaud Charlet <charlet@adacore.com>
* g-comlin.adb (Foreach_Switch): Make this procedure generic to avoid
using 'Access.
-2010-10-12 Emmanuel Briot <briot@adacore.com>
-
- * switch-m.adb: Allow building even in -gnat05 mode.
-
2010-10-12 Robert Dewar <dewar@adacore.com>
* debug.adb: Add comment.
-- df Only output file names, not path names, in log
- -- dm Needs documentation ???
+ -- dm Issue a message indicating the maximum number of simultaneous
+ -- compilations.
-- dn Do not delete temporary files created by gnatmake at the end
-- of execution, such as temporary config pragma files, mapping
Add_Switch (Cmd, Sw, Parameter (Parser));
else
Add_Switch
- (Cmd, Sw, Parameter (Parser), Section.all);
+ (Cmd, Sw, Parameter (Parser),
+ Section => Section.all);
end if;
end if;
end;
(Cmd : in out Command_Line;
Switch : String;
Parameter : String := "";
+ Separator : Character := ' ';
Section : String := "";
Add_Before : Boolean := False)
is
Success : Boolean;
pragma Unreferenced (Success);
begin
- Add_Switch (Cmd, Switch, Parameter, Section, Add_Before, Success);
+ Add_Switch (Cmd, Switch, Parameter, Separator,
+ Section, Add_Before, Success);
end Add_Switch;
----------------
(Cmd : in out Command_Line;
Switch : String;
Parameter : String := "";
+ Separator : Character := ' ';
Section : String := "";
Add_Before : Boolean := False;
Success : out Boolean)
is
+ pragma Unreferenced (Separator); -- ??? Should be removed eventually
+
procedure Add_Simple_Switch
(Simple : String;
Separator : String;
(Cmd : in out Command_Line;
Switch : String;
Parameter : String := "";
+ Separator : Character := ' ';
Section : String := "";
Add_Before : Boolean := False);
-- Add a new switch to the command line, and combine/group it with existing
-- added if not already present. For example, to add the -g switch into the
-- -cargs section, you need to call (Cmd, "-g", Section => "-cargs").
--
+ -- [Separator] is ignored, and kept for backward compatibility only.
+ -- ??? It might be removed in future versions.
+ --
-- Invalid_Section is raised if Section was not defined in the
-- configuration of the command line.
--
(Cmd : in out Command_Line;
Switch : String;
Parameter : String := "";
+ Separator : Character := ' ';
Section : String := "";
Add_Before : Boolean := False;
Success : out Boolean);
Write_Str (" (missing subunits)");
Write_Eol;
+ -- Force generation of ALI file, for backward compatibility
+
+ Opt.Force_ALI_Tree_File := True;
+
elsif Main_Kind = N_Subunit then
Write_Str (" (subunit)");
Write_Eol;
+ -- Force generation of ALI file, for backward compatibility
+
+ Opt.Force_ALI_Tree_File := True;
+
elsif Main_Kind = N_Subprogram_Declaration then
Write_Str (" (subprogram spec)");
Write_Eol;
Write_Str (" (predefined generic)");
Write_Eol;
+ -- Force generation of ALI file, for backward compatibility
+
+ Opt.Force_ALI_Tree_File := True;
+
-- Only other case is a package spec
else
Errout.Output_Messages;
Treepr.Tree_Dump;
Tree_Gen;
- Write_ALI (Object => False);
+
+ -- Generate ALI file if specially requested, or for missing subunits,
+ -- subunits or predefined generic.
+
+ if Opt.Force_ALI_Tree_File then
+ Write_ALI (Object => False);
+ end if;
+
Namet.Finalize;
Check_Rep_Info;
-- Ada 2012 Units --
--------------------
- -- The following units should be used only in Ada 05 mode
+ -- The following units should be used only in Ada 2012 mode
Non_Imp_File_Names_12 : constant File_List := (
0 => "s-multip"); -- System.Mutiprocessors
-- [OVERRIDING_INDICATOR]
-- entry DEFINING_IDENTIFIER [(DISCRETE_SUBTYPE_DEFINITION)]
-- PARAMETER_PROFILE;
+ -- [ASPECT_SPECIFICATIONS];
-- The caller has checked that the initial token is ENTRY, NOT or
-- OVERRIDING.
return;
end if;
- -- In order to process the parameters, we create a defining
- -- identifier that can be used as the name of the scope. The
- -- name of the accept statement itself is not a defining identifier,
- -- and we cannot use its name directly because the task may have
- -- any number of accept statements for the same entry.
+ -- In order to process the parameters, we create a defining identifier
+ -- that can be used as the name of the scope. The name of the accept
+ -- statement itself is not a defining identifier, and we cannot use
+ -- its name directly because the task may have any number of accept
+ -- statements for the same entry.
if Present (Index) then
Accept_Id := New_Internal_Entity
if Entry_Nam = Scope_Stack.Table (J).Entity then
Error_Msg_N ("duplicate accept statement for same entry", N);
end if;
-
end loop;
declare
with Prj.Env; use Prj.Env;
with Table;
-pragma Warnings (Off, "*is an Ada 2012 unit");
with System.Multiprocessors; use System.Multiprocessors;
-pragma Warnings (On, "*is an Ada 2012 unit");
package body Switch.M is