switch-c.adb, [...]: Reserve -gnateg for generation of C headers.
2015-11-12 Arnaud Charlet <charlet@adacore.com> * switch-c.adb, gnat1drv.adb, opt.ads: Reserve -gnateg for generation of C headers. From-SVN: r230248
This commit is contained in:
parent
d1915cb82c
commit
95bcd2a700
|
@ -1,3 +1,8 @@
|
|||
2015-11-12 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* switch-c.adb, gnat1drv.adb, opt.ads: Reserve -gnateg for generation
|
||||
of C headers.
|
||||
|
||||
2015-11-12 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* back_end.adb, opt.ads (Debugger_Level): Update comment.
|
||||
|
|
|
@ -142,10 +142,15 @@ procedure Gnat1drv is
|
|||
Modify_Tree_For_C := True;
|
||||
end if;
|
||||
|
||||
-- Set all flags required when generating C code (-gnatd.V)
|
||||
-- -gnatd.V enables C generation
|
||||
|
||||
if Debug_Flag_Dot_VV then
|
||||
Generate_C_Code := True;
|
||||
end if;
|
||||
|
||||
-- Set all flags required when generating C code
|
||||
|
||||
if Generate_C_Code then
|
||||
Modify_Tree_For_C := True;
|
||||
Unnest_Subprogram_Mode := True;
|
||||
|
||||
|
|
|
@ -704,7 +704,7 @@ package Opt is
|
|||
Generate_C_Code : Boolean := False;
|
||||
-- GNAT
|
||||
-- If True, the Cprint circuitry to generate C code output is activated.
|
||||
-- Set True by use of -gnatd.V.
|
||||
-- Set True by use of -gnateg or -gnatd.V.
|
||||
|
||||
Generate_CodePeer_Messages : Boolean := False;
|
||||
-- GNAT
|
||||
|
|
|
@ -585,6 +585,12 @@ package body Switch.C is
|
|||
Ptr := Ptr + 1;
|
||||
Check_Float_Overflow := not Machine_Overflows_On_Target;
|
||||
|
||||
-- -gnateg (generate C code)
|
||||
|
||||
when 'g' =>
|
||||
Generate_C_Code := True;
|
||||
Ptr := Ptr + 1;
|
||||
|
||||
-- -gnateG (save preprocessor output)
|
||||
|
||||
when 'G' =>
|
||||
|
|
Loading…
Reference in New Issue