在macOS Sierra上構建Ada Web服務器（AWS）時出錯

我已將我的gnat更新爲AdaCore的最新版本，並嘗試重建也從AdaCore下載的最新AWS（Ada Web Server）。我在建設時遇到了一些錯誤：在macOS Sierra上構建Ada Web服務器（AWS）時出錯

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

來源

2017-01-08 Adrian Hoe

無效的檢查是Tampering_Check，這是與資源密集型ARM指定檢查不正確使用Containers（基本上，是試圖更改Container的結構的代碼的一部分另一個已經在使用？）

我不知道你爲什麼會遇到這個問題：GNSS GPL 2016和FSF GCC 6.1.0都可以使用pragma。你確定你正在使用最新的編譯器嗎？

還有一兩件事需要注意的是，在Github的主分支可能依賴於編譯器功能並不適用於不支持的客戶的編譯器版本中提供;如果使用GNAT GPL 2016，也許gpl-2016分支會更安全，如果不是最新的。

來源

2017-01-08 11:23:46

你是對的西蒙。我的錯。我在兩個單獨的文件夾中混合了gnat的版本，而實際上我使用的是舊版本。我刪除了兩個並重新安裝了gnat並重建了AWS。它現在有效。 –

在macOS Sierra上構建Ada Web服務器（AWS）時出錯

回答

相關問題