ada - 避免在 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从构建命令中删除标志来解决您的问题。