https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88943
Bug ID: 88943
Summary: Compiler switch -gnatceg does not generate C headers
Product: gcc
Version: 8.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: alex at jakalx dot net
Target Milestone: ---
Running the following example does not generate the corresponding header file
according to the documentation (3.11.5.1).
-- foo.ads
package foo is
type bar is record
I : Integer;
end record;
end;
$ gcc -c -gnatceg foo.ads
Looking into the generated .ali file, it seems that the switch gets parsed into
-gnatc and -gnateg:
---
A -gnatc
A -gnateg
A -mtune=generic
A -march=x86-64
---
Am I doing something stupid?
Best regards,
Alex
