Вопросы по теме 'gnat'
отдельная процедура в ada
У меня очень большой проект, и я пытаюсь начать использовать GPS (Gnat Programming Studio) вместо того, что у меня есть.
Соглашения об именах проекта следующие:
something.1.ada для спецификации
что-то.2.ада для тела
parent.son.2.ada для...
1325 просмотров
schedule
03.06.2022
запуск программы Ada в терминале Linux
Я использую линукс минт. Установил gnat для работы с программами на Аде, используя "sudo apt-get install gnat". создал простую программу hello world:
with Ada.Text_IO;
procedure Hello is
begin
Ada.Text_IO.Put_Line("Hello, world!");
end...
6008 просмотров
schedule
15.02.2022
Компилятор Ады GNAT на Mac OS
Я пытаюсь скомпилировать ada с помощью терминала на своем Mac, но всегда получаю эту ошибку «ошибка: недопустимое значение« ada »в« -x ada »». Кто-нибудь знает, как я могу это исправить?
3549 просмотров
schedule
23.10.2023
Чем отличается версия Adacore Gnat от стандартной
Я пытаюсь понять фундаментальные различия между компилятором Gnat, который поставляется с версией Adacore Libre, и тем, который входит в стандартную комплектацию gcc, скажем, в дистрибутиве Linux или MinGw.
Я предполагаю, что основное различие...
3522 просмотров
schedule
15.11.2022
Используете libgc с GNAT?
Я слышал несколько упоминаний о том, что Ada поддерживает сборку мусора --- и, глядя на дизайн языка, очевидно, что он был разработан с учетом этого.
У меня есть приложение, работающее не в реальном времени, для которого сбор мусора был бы очень,...
211 просмотров
schedule
06.10.2022
Динамически связывать libgnat
Я пытаюсь скомпилировать очень простой код ADA . Все работает как шарм, но на одном компьютере мой исполняемый файл динамически связан с libgnat , тогда как на другом компьютере он связан статически. В обоих случаях я использую инструмент...
529 просмотров
schedule
30.08.2022
Почему мой выдающийся файловый дескриптор GNAT не работает?
В рамках небольшого проекта я пишу оболочку на Аде. Таким образом, когда я исследовал системные вызовы, я узнал, что есть три способа сделать это.
Системные вызовы POSIX, которые, вероятно, наименее надежны.
Передача аргументов в system() C,...
322 просмотров
schedule
31.07.2023
GNAT GPS IDE не привязывается и связывается со странной ошибкой
Я пытаюсь использовать GPS IDE в качестве альтернативного инструмента разработки в OS X El Capitan (отходя от OS X 10.5 Xcode 3.0). Но я наткнулся на одну странную ошибку:
gnat bind myprog.bexch
gnatbind: Cannot find: myprog.bexch.ali
gprbuild:...
822 просмотров
schedule
01.03.2024
Система выполнения для Stm32F103 Arm, компилятор GNAT Ada
Я хотел бы использовать Ada с Stm32F103 uc, но вот проблема - в GNAT 2016 нет встроенной системы выполнения. В комплекте есть еще одна uc cortex-m3 от TI RTS - zfp-lm3s, но похоже, что ей нужен какой-то глобальный обновления, простое изменение...
831 просмотров
schedule
15.09.2023
Постановка задач в СПАРКе требует последовательной проработки
В настоящее время я изучаю Аду во время университетского курса по языкам программирования в реальном времени, и у меня есть вопрос о SPARK.
Я работаю над проектом с задачей, которая контролирует автономный источник питания. Эта задача имеет...
179 просмотров
schedule
25.08.2023
Включение флага --enable-stdcall-fixup с помощью gnatmake?
Я использую gnatmake для создания своего проекта Ada и получаю следующее предупреждение:
Warning: resolving _LoadLibraryA by linking to _LoadLibraryA@4
Use --enable-stdcall-fixup to disable these warnings
Use --disable-stdcall-fixup to disable...
191 просмотров
schedule
26.10.2023
Связывание и связывание в Аде
Интересно, в чем принципиальная разница между биндингом и линковкой при работе с кодом на Аде? Я не мог найти хорошее объяснение в Google, поэтому я задаю вопрос.
Что является входом и выходом процесса связывания? Какова связь между связыванием и...
570 просмотров
schedule
16.05.2023
Скомпилируйте libgnat в один файл битового кода LLVM
Как я могу скомпилировать libgnat в один файл битового кода LLVM? Последняя версия Dragonegg очень старая, поэтому я предоставляю файл докеры, чтобы упростить тестирование. Моя конечная цель — запустить Ada в интерпретаторах битового кода LLVM IR....
124 просмотров
schedule
10.06.2022
Изменить поведение GPS в файле компиляции цели сборки
Если я использую GNAT Programming Studio (GPS) для создания одного файла (Build target Compile file), редактор переходит к первому местоположению в файле с предупреждением/ошибкой сборки.
Можно ли отключить это поведение с помощью настройки?
59 просмотров
schedule
01.05.2024
Как указать функции или процедуры, которые GNATTest должен автоматически генерировать для проверки
Я работаю над огромным пакетом кода (написанным в основном на ada), который представляет собой полный беспорядок. Пока модульные тесты не применяются, и для всего существующего кода модульные тесты не должны реализовываться. Но наша команда решила,...
161 просмотров
schedule
01.05.2023
Динамическое связывание библиотеки в Аде вводит дополнительные зависимости
У меня проблемы с динамическим и статическим связыванием библиотеки в Аде. Я подготовил минимальный рабочий пример. Эти три файла определяют библиотеку, которая выводит «Hello world»:
helloworld_lib.gpr :
project Helloworld_Lib is
for...
259 просмотров
schedule
17.05.2023
Как интегрировать gnatmake/gnatbind/gnatlink в файлы CMake для кода C/Ada?
Я написал код на нескольких языках (C, C++, Fortran77, Fortran90) и могу без проблем скомпилировать его с помощью CMake. Это работает отлично.
Теперь я хотел бы добавить в функцию main(), написанную на C, некоторую функцию Ada, которую я хочу...
583 просмотров
schedule
11.08.2023
Как реализовать Unchecked_Access
Я пытаюсь снова спроектировать двумерный массив, который расширяется автоматически.
Прямоугольные.объявления
generic
type Value_Type is private;
package Rectangular is
function Get ( Row, Col : Integer) return Value_Type;...
103 просмотров
schedule
03.09.2023
