gnat

    0熱度

    1回答

    我已將我的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-c

    1熱度

    1回答

    我正在研究Xamarin並嘗試在我的iPad上安裝iOS應用程序。 我想鏈接一個Ada靜態庫。 所以我有一個libMyLibrary.a + libgnat.a文件和一個C頭代碼(MyLibrary.h)。 在Xamarin中,我創建了一個綁定庫項目並添加了我的庫。 在Xamarin中,我將上述項目添加爲我的iPad應用程序的參考。 首先,我使用P磁帶庫通信/有DllImport(「__Inter

    1熱度

    2回答

    在Ada中初始化動態分配數組的正確語法是什麼?我試過這個: type Short_Array is array (Natural range <>) of Short; Items : access Short_Array; Items := new Short_Array(1..UpperBound)'(others => 0); 這會導致編譯器錯誤 - 「二元運算符預期」。而這: ty

    3熱度

    1回答

    我想升級到GNAT GPL 2017(從2016年開始)。我在Windows 8.1上運行。 一個應用程序使用gnatcoll.xref。 在2016年,在已經找到: 蚊蚋/包括/ gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref.ads 然而,該文件未在2017年安裝找到。請注意,2017年的'gnat -...- bin.exe'安裝程序包含gnatc

    2熱度

    2回答

    我們最近更新了GCC版本(4.8.2至5.3.0),並在某些Ada應用程序中開始接收意外的約束錯誤。我已經將它歸納爲以下: -- moo.adb with text_io; procedure moo is type thing_type is (something1,something2,something3,something4,something5,something6);

    0熱度

    2回答

    因此,這是一個簡單的項目,我之前將它們放在一起進行測試,然後再做一些很酷的事情。最終的目標是讓程序能夠通過真棒dll功夫來處理模塊化。 但是,寶貝的步驟。現在我只想製作鏈接。 這裏我有Adder.ads: package Adder is function Add(A : Integer; B : Integer) return Integer; end Adder; 和各自A

    2熱度

    1回答

    我使用的是Windows 10(64位),我從http://libre.adacore.com/download/configurations#下載了GNAT GPL 2017,ARM ELF格式(託管在Windows上)。 我創建了一個示例代碼: with Ada.Text_IO; use Ada.Text_IO; procedure Hello is begin Put_Line

    1熱度

    1回答

    在最近的GCC更新之後,我們注意到我們的一些預編譯的通用函數在每次構建應用程序時都會被重新編譯。它似乎與我們使用gnat.adc文件來存儲編譯指示相關。我有一個解決方法,但它並不漂亮,我希望有人能告訴我我是否做錯了什麼。 目錄結構: ~/adatest -dependency dependency.ads dependency.adb gnat.adc

    1熱度

    1回答

    我有Windows 10 64位,我安裝了剛安裝的GNAT編程工作室(沒有設置就像java jdk)。我想在GPS GNAT編程工作室製作我的第一個Ada程序。 在此基礎上example,以下是Arrayproject.adb: with Ada.Text_IO; with Ada.Integer_Text_IO; use Ada.Integer_Text_IO; use Ada.Text_

    0熱度

    1回答

    GNAT工具集的gprinstall程序部分似乎忽略項目文件中的前綴屬性。它在命令行中指定時使用--prefix。有沒有辦法強制它在項目文件中使用前綴?