如何确定Ada文件是使用静态还是动态精心编制的

Question

我在检测到详细说明圆度方面遇到一些问题。我几乎可以确定所有源代码都是使用-gnatE编译的。

为了对此进行进一步调查，我想检查ada lib目录中的文件是否使用静态或动态详细说明进行编译。

是否存在可用来检索此信息的命令？我正在使用FSF-GNAT。

Answer 1

除了已编译文件（.o）外，还有ALI文件（.ali）是文本文件，其中包含有关已发生的编译的许多详细信息。第一组信息与编译器开关有关。