在macOS Sierra上构建Ada Web Server（AW​​S）时出错

Question

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

   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 分支可能会更安全，如果不是最新的。