避免在macOS上使用GNATCOLL对静态和动态精化检查发出警告

Question

我试图使用GNATCOLL (在macOS上)，添加

with "gnatcoll"

到我的.gpr文件，但我收到了以下警告：

warning: "main.adb" has dynamic elaboration checks and with's
warning:   "gnatcoll-traces.ads" which has static elaboration checks

我编译了GNATCOLL，然后使用配置选项--启用-共享重新编译了它。从文件判断，已安装了共享库版本。

如何指导gnatmake使用GNATCOLL的共享库版本？或者，我如何静态地构建我的程序，至少它是兼容的？

Answer 1

这条消息不是关于链接，而是关于精化检查。

根据对gnatmake的帮助，您可以使用标志-gnatE启用动态精化检查模式。这表示您可以通过从build命令中删除-gnatE标志来解决问题。