避免在 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，然后使用配置选项--enable-shared重新编译了它。从文件来看，安装了共享库版本。

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

Answer 1

该消息不是关于链接，而是关于详细说明检查。

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