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

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

Answer 1

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

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