Ada-找不到“ check_positive.adb”的库信息

Question

我必须学习Ada，以便可以为其编写翻译。但是我找不到很多学习语言的资源。尝试编译以下代码时，收到上述消息：我将文件另存为check_positive.adb。我还应该做什么？我运行gnatls Check_Positive.adb后运行了gnatchop -w Check_Positive.adb。我正在使用GNAT社区v5.1.0。

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;

procedure Check_Positive is
   N : Integer;
begin
   Put ("Enter an integer value: ");  -- Put a String
   Get (N);  --  Read in an integer value
   if N > 0 then
      Put (N);  --  Put an Integer
      Put_Line (" is a positive number");
   end if;
end Check_Positive;

Answer 1

gnatls和gnatchop不会编译您的代码，您应该尝试gnatmake：

gnatmake check_positive.adb

请注意，GNAT需要小写的文件名和每个文件一个过程/函数/程序包规范/程序包主体。如果您以这种方式组织代码，则不需要gnatchop。