避免在 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 标志来解决您的问题。