在macOS Sierra上构建Ada Web服务器（AWS）时出错

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 

什么可能是错的？或者，我忽略了什么？

谢谢。 Adrian

Answer 1

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

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

还有一两件事需要注意的是，在Github的主分支可能依赖于编译器功能并不适用于不支持的客户的编译器版本中提供;如果使用GNAT GPL 2016，也许gpl-2016分支会更安全，如果不是最新的。