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

在macOS Sierra上构建Ada Web服务器(AWS)时出错,ada,gnat,Ada,Gnat,我已经从AdaCore将gnat更新为最新版本,并尝试重建同样从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

我已经从AdaCore将gnat更新为最新版本,并尝试重建同样从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
可能出了什么问题?或者,我忽略了什么

谢谢。
Adrian

无效的检查是
篡改检查
,这与ARM指定的对容器不当使用的资源密集型检查有关(基本上,代码的一部分是否试图更改另一部分已在使用的容器的结构?)

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


另一件需要注意的事情是,at的主分支可能依赖于编译器版本中不提供的编译器特性,而这些特性可供不受支持的客户使用;如果使用GNAT GPL 2016,GPL-2016分支机构可能会更安全,如果不是最新的。

无效的检查是
篡改检查
,这与资源密集型ARM指定的对容器使用不当的检查有关(基本上,代码的一部分是否试图更改另一部分正在使用的容器的结构?)

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


另一件需要注意的事情是,at的主分支可能依赖于编译器版本中不提供的编译器功能,这些功能不适用于不受支持的客户;如果使用GNAT GPL 2016,GPL-2016分支可能会更安全,如果不是最新的。

你说得对,Simon。我的错。我将GNAT的版本混合在两个单独的文件夹中,我被拒绝了实际上使用的是旧版本。我删除了这两个版本,重新安装了gnat并重建了AWS。它现在可以工作了。你说得对,西蒙。我的错。我把gnat的版本混合在两个单独的文件夹中,实际上我使用的是旧版本。我删除了这两个版本,重新安装了gnat并重建了AWS。它现在可以工作了。