Ada - 找不到 "check_positive.adb" 的图书馆信息

Ada - Can't find library info for "check_positive.adb"

我必须学习 Ada 才能为它编写解释器。但是我找不到很多关于学习语言的资源。尝试编译以下代码时收到上述消息:我将文件另存为 check_positive.adb。我还应该做什么?我运行 gnatls Check_Positive.adb 在我运行 gnatchop -w Check_Positive.adb 之后。我正在使用 GNAT Community 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;

gnatlsgnatchop 不会编译你的代码,你应该尝试 gnatmake:

gnatmake check_positive.adb

请注意,GNAT 要求小写文件名和每个文件一个 procedure/function/package spec/package 正文。如果您以这种方式组织代码,就不需要 gnatchop。