在 macOS Sierra 上构建 Ada Web 服务器 (AWS) 时出错

Question

我已将我的 gnat 更新到 AdaCore 的最新版本，并尝试重建也从 AdaCore 下载的最新 AWS（Ada Web 服务器）。我在构建时遇到了一些错误：

   aws-services-web_block-context.ads:106:21: argument of pragma "SUPPRESS" is not valid check name
aws-services-web_block-context.ads:106:21: argument of pragma "SUPPRESS" is not valid check name

   compilation of aws-services-web_block-context.adb failed
   compilation of aws-services-web_block-registry.adb failed

gprbuild: *** compilation phase failed
make: *** [build-native] Error 4

哪里出了问题？或者，我是否忽略了什么？

谢谢。阿德里安

Answer 1

无效的检查是 Tampering_Check，这是与资源密集型 ARM 指定的对 Container 使用不当的检查有关（基本上，是试图更改结构的代码的一部分另一个已经在使用的容器？）

我不知道你为什么遇到这个问题：GNAT GPL 2016 和 FSF GCC 6.1.0 都可以使用 pragma。您确定您使用的是最新的编译器吗？

另一件需要注意的事情是 Github 的 master 分支可能依赖于不受支持的客户可用的编译器版本中不可用的编译器功能；如果使用 GNAT GPL 2016，也许 gpl-2016 分支会更安全，如果不是最新的话。

在 macOS Sierra 上构建 Ada Web 服务器 (AWS) 时出错

Error building Ada Web Server (AWS) on macOS Sierra

ada

gnat