Ada - Не удается найти информацию о библиотеке для "check_positive.adb"

#ada #gnat

Вопрос:

Мне нужно изучить 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;

1. Какой компилятор вы используете? И какие команды и параметры вы даете при попытке компиляции?

2. @egilhh; Я обновил вопрос.

3. Что касается поиска ресурсов для изучения Ada, это не сложная задача. Просто проверьте adaic.org/learn/materials и более конкретно adaic.org/learn/materials/#tutorials

Ответ №1:

gnatls и gnatchop не будет компилировать ваш код, вы должны попробовать gnatmake :

gnatmake check_positive.adb

имейте в виду, что GNAT ожидает имена файлов в нижнем регистре и одну процедуру / функцию / спецификацию пакета / тело пакета для каждого файла. Если вы организуете свой код таким образом, вам не понадобится gnatchop.