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

我在检测到细化循环时遇到一些问题。我几乎可以肯定所有的源代码都是用-gnatE编译的

为了进一步研究这一点，我想在adalib目录中检查一个文件是用静态还是动态精化编译的

---

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

与编译文件（.o）一起使用的还有ALI文件（.ALI），这些文件是文本文件，包含有关编译的许多详细信息。

---

第一组信息是关于编译器开关的。

答案附录（相关信息）：以及ALI文件内容的描述。为了快速检查，它是以

a

开头的行：如果找到

a-gnatE

，则动态精化，如果没有，则静态精化。