Вопросы по теме 'gnat'
Пакет не виден, ошибка
У меня проблемы с видимостью пакета. У меня действительно простой пакет, и код указан ниже. Сообщение об ошибке показано здесь:
viterbi.adb:12:14: "Integer_Text_IO" is not visible (more references follow)
viterbi.adb:12:14: non-visible...
7664 просмотров
schedule
05.10.2022
Не удается найти -lgfortran, хотя gfortran установлен
Возможный дубликат: lgfortran не найден
Я должен признать, что мой вопрос можно считать очень похожим на lgfortran not found , но поскольку я новичок в Linux, мне нужна дополнительная помощь, и я не смог найти то, что ищу в...
7230 просмотров
schedule
17.06.2022
GNATbench Ada в eclipse с использованием Remote System Explorer
Я использую плагин GNATbench Ada для eclipse, чтобы сделать eclipse Ada осведомленным в Windows. Это хорошо работает для локальных файлов, но моя основная разработка связана с удаленной системой Unix. Я успешно использую подключаемый модуль Remote...
186 просмотров
schedule
06.07.2022
Где скачать AUnit 3 (для Ады)?
Где скачать AUnit (насколько мне известно, последняя версия 3) для Ады (особенно для GNAT-4.9)?
Мне все равно, под лицензией GPL этот AUnit или нет, потому что он используется только для моей тестовой программы, а лицензия тестовой программы не...
549 просмотров
schedule
25.06.2023
Как разобрать строку в Аде с пробелами
Я получаю ввод от пользователя, использующего Get_Line , строка может быть командой, за которой следует значение (команда --- один или несколько пробелов --- значение -- новая строка), например,
CMD 4
CMD 6
CMD 10
Как я могу...
746 просмотров
schedule
14.03.2023
Максимальный размер/смещение потокового файла с использованием Ada.Streams.Stream_IO.Read
Я пытаюсь прочитать определенные блоки данных (около 4096 байт) из (возможно) огромного файла.
Используя Ada.Streams.Stream_IO.Read() с компилятором GNAT, какое максимальное смещение я мог бы использовать? То есть, если бы я хотел прочитать...
364 просмотров
schedule
10.03.2024
Представление GNAT GPS Project Explorer отсутствует
Я использую GNAT GPS версии 6.0.1 в Windows 7. По какой-то неизвестной причине панель Project View, которая находится в левой части главного окна, исчезла, когда я использую отладчик. Я не могу найти какие-либо параметры меню или настроек, которые...
295 просмотров
schedule
17.07.2022
Как сделать размер универсального типа явным в Аде?
Я пытаюсь скомпилировать этот код: https://github.com/RanaExMachina/ada-fuse
К сожалению, при сборке я получаю эту ошибку:
fuse-system.ads:147:04: size clause not allowed for variable length type
Это кажется проблемой, потому что в коде...
153 просмотров
schedule
30.12.2022
Как уменьшить размер исполняемых файлов, созданных с помощью GNAT?
Итак, я некоторое время играл с Ada, это потрясающий язык, но я не могу понять, как уменьшить размер исполняемых файлов (я использую GNAT 5.3 в Windows). В настоящее время размер файла hello world составляет около 800 кб. Когда я удаляю отладочную...
708 просмотров
schedule
05.06.2022
Исправлены строки Ады
Всем привет ,
type String is array (Positive range <>) of Character;
Хорошо, но где предел, когда мы объявляем переменную?
Когда мы делаем это:
max_String : String( 1 .. integer'last ) ;
Это не удалось .
Например :...
325 просмотров
schedule
20.06.2023
Динамическое связывание среды выполнения ada
Я установил GPS GPS 6.1.1 (20150118) на i686-pc-mingw32 GNAT GPL 2015 (20150428-49) .
Он успешно компилирует Hello World, но даже исполняемый файл релиза огромен, поскольку он включает в себя статически скомпилированную неоптимизированную среду...
735 просмотров
schedule
08.07.2023
DLL-оболочка для Python: фатальная ошибка LNK1127: библиотека повреждена
Краткое описание
У меня есть DLL, запрограммированная в ADA с помощью GNAT. Я хочу скомпилировать с MSVC другую DLL на C в качестве оболочки для ADA_DLL, чтобы использовать ее с Python.
Я скомпилировал ada_DLL, затем сгенерировал файл .lib в...
386 просмотров
schedule
02.05.2022
Список неиспользуемых файлов в Gnat
У меня есть проект в GNAT, и я хотел бы перечислить все файлы, которые никогда не используются. Я думаю сделать это с помощью скрипта Python, но можно ли это легко сделать с помощью GNAT?
Обновлять:
Нашел про gnatelim, но хотя в хелпе написано,...
273 просмотров
schedule
02.10.2023
префикс gprinstall в файле проекта
Программная часть gprinstall набора инструментов GNAT, по-видимому, игнорирует атрибут префикса в файле проекта. Он использует --prefix , когда указано в командной строке. Есть ли способ заставить его использовать префикс в файле проекта?
83 просмотров
schedule
04.03.2023
Как связать пользовательскую dll в Аде?
Итак, это простой проект, который я собрал только для тестирования, прежде чем делать с ним кое-что интересное позже. Конечная цель состоит в том, чтобы сделать программу способной обрабатывать модульность с помощью удивительного кунг-фу DLL.
Но,...
541 просмотров
schedule
09.04.2022
Спецификация не разрешает тело (удалить в файле gpr), не касаясь исходных файлов
Я получил следующую ошибку, которая характерна для сгенерированных источников:
spec of this package does not allow a body
Я хотел бы знать, существует ли правило для добавления в файл gpr игнорирования этой ошибки. Как флаг игнорирования....
318 просмотров
schedule
09.12.2022
Как запустить программу, написанную на Аде?
Я использую Windows 10 (64-разрядная версия), я скачал GNAT GPL 2017, формат ARM ELF (размещен на Windows) с http://libre.adacore.com/download/configurations# .
Я создал пример кода:
with Ada.Text_IO; use Ada.Text_IO;
procedure Hello is
begin...
1352 просмотров
schedule
17.03.2024
Продление жизни переменной
Честно говоря, я не могу быть полностью уверен, что название правильно описывает проблему, с которой я столкнулся, поскольку оно просто отражает мое текущее понимание Ады как таковой.
Проблема
У меня есть функция:
function Make_Option (Title...
96 просмотров
schedule
09.07.2023
Нет глобального контракта для процедуры/функции
У меня есть процедура в модуле SPARK, которая вызывает стандартный Ada-Text_IO.Put_Line .
Во время проверки я получаю следующее предупреждение warning: no Global contract available for "Put_Line" .
Я уже знаю, как добавить соответствующий...
412 просмотров
schedule
25.08.2023
Ошибка __aeabi_unwind_cpp_pr0 при связывании для Arm на WSL
Добрый вечер всем,
Я пытаюсь скомпилировать простую программу в Ada для микроконтроллера на базе Arm. Я установил пакет gnat-5-arm-linux-gnueabi в подсистему Linux для Windows.
Теперь компиляция с arm-linux-gnueabi-gcc-5 -mcpu=cortex-m4...
873 просмотров
schedule
10.05.2022