Вопросы по теме 'gnat'

Предупреждение об ошибке ограничения при использовании Enum в ADA
Я хотел бы знать, почему предупреждения об ошибках ограничения выводятся в Ada при использовании перечислений, как в примере ниже. Поскольку я использовал Enums, я могу заменить их для лучшей реализации. type Uart_Instance_Type is (COM1, COM2,...
196 просмотров
schedule 19.11.2021

DllMain / DllMainCRTStartup не выполняется в DLL
Код инициализации в сборке DLL с gnat не запускается автоматически при импорте. Я сделал MCVE, который состоит из: Division.ads with System; with Interfaces.C; package Division is --Neither of these work procedure DllMainCRTStartup ;...
258 просмотров
schedule 29.09.2021

Ada - проверка доступности, возникающая в рамках процедуры
Ранее я задавал вопрос относительно проверок доступности, проводимых в Ada, и @Brian Drummond был достаточно любезен к awnser. Проверка доступности была в функции, теперь у меня аналогичная проблема внутри процедуры; любые указания относительно...
128 просмотров
schedule 06.10.2021

Ненужные перекомпиляции зависимостей Ada (GCC 5.3.0)
После недавнего обновления GCC мы заметили, что некоторые из наших предварительно скомпилированных общих функций перекомпилируются каждый раз, когда создается приложение, использующее их. Похоже, это связано с тем, что мы используем файлы gnat.adc...
151 просмотров
schedule 27.02.2022

Ада - Как создать список переменных пакета из GNAT Pro Studio?
Я хотел бы использовать информацию о внешней ссылке из проекта GPS Ada для создания списков переменных, определенных для каждой спецификации и тела пакета. Мне нужно исключить любые переменные, определенные внутри подпрограмм. Я вижу эту...
254 просмотров
schedule 20.03.2022

Как написать правила gnatcheck
Можно ли написать свои собственные правила gnatcheck, и если да, то может ли кто-нибудь указать мне хорошую ссылку? Я ищу определенный «стиль», который используется, и мне бы очень хотелось, чтобы я мог просто написать правило, которое говорит, что...
755 просмотров
schedule 24.04.2022

Компилятор Ады выбирает неправильную перегруженную функцию
Я использую avr-ada для компиляции своей программы. Я хочу дважды сдвинуть вправо переменную unsigned_16 . Interfaces.Shift_Right перегружен и обеспечивает как Unsigned_8 , так и Unisgned_16 . Когда я компилирую, я получаю сообщение об...
104 просмотров
schedule 03.05.2022

Ада не работает с компилятором, не установленным в этой системе в Linux Mint
У меня были некоторые трудности с получением работающего компилятора Ады. Я пытался установить avr-ada в системе Windows. Я задавал вопросы и получил несколько хороших предложений, но еще не все. С тех пор я пытался установить и использовать...
1158 просмотров
schedule 14.05.2022

Флаг gnatmake -o создает неверное имя объектного файла
Я пытаюсь скомпилировать файл .adb с gnatmake , а флаг -o не создает имя объектного файла, которое я хочу: $ gnatmake --GCC=g++ -D bin/src/ghdl_grt/ -f -u -c src/ghdl_grt/grt-vstrings_io.adb -o bin/src/ghdl_grt/grt-vstrings_io.adb.o g++ -c...
174 просмотров
schedule 18.06.2022

Отслеживание выполнения программы на Аде
Поддерживает ли Ada/GNAT что-то вроде автоматической трассировки выполнения программы (или выбранных пакетов/процедур/функций) для целей отладки? Меня не интересует пакет регистратора. Представьте себе, что вы работаете над настоящим старым...
88 просмотров
schedule 04.07.2022

Как скомпилировать и связать с помощью gnatmake общую библиотеку Ada?
У меня возникли проблемы с повторным составлением заявки в библиотеке флористов. Оказывается, у меня более серьезная проблема с флористом (одна и та же ошибка возникает как при последней загрузке Adacore GPL 2010 года, так и при версии 2009 года в...
7611 просмотров
schedule 27.05.2023

Получение блока SHA1 из GNAT.SHA1
Я использую GNAT.SHA1 для создания SHA1 хэша строки в Ada . Моя кодовая база невелика, поэтому я хотел бы избежать импорта в проект каких-либо библиотек, которые не предоставляются моим компилятором, поэтому я использую GNAT.SHA1 . Насколько я...
380 просмотров
schedule 11.02.2023

Ада: gnat gprbuild Как компоновать библиотеки?
В этом многоязычном проекте GPRBuild, над которым я работаю, у меня есть несколько файлов библиотеки C++ (*.a), которые мне нужно связать с моим исполняемым файлом. Есть ли атрибут gpr, чтобы указать, что нужно связать, или в любом случае передать -l...
5421 просмотров
schedule 07.06.2023

Ошибка при установке компилятора Gnat Ada
Я пытаюсь установить компилятор GNAT для программирования на языке Ada, но когда я запускаю его, я получаю следующую ошибку: «Невозможно создать каталог конфигурации C:/users/@#$%@#%#@/.gps/ Выход... ". Кто-нибудь знает решение? Пробую всяко,...
744 просмотров
schedule 26.04.2023

Ошибка при компиляции в AdaGIDE с помощью win32
У меня возникли проблемы с компилятором AdaGIDE и его библиотеками. Я установил GNAT 2013 и AdaGIDE 7.45 на Windows XP. Когда я пытаюсь скомпилировать любой код, требующий win32 (например, with win32.winnt; ), консоль AdaGIDE говорит file...
922 просмотров
schedule 18.04.2023

Ада: можно мне два разных окна консоли?
Я использую GNAT 2014 для проекта Ada, и у меня есть простой (надеюсь) вопрос. Могу ли я открыть две «консоли» одновременно? Объясню почему: моя программа выводит в консоль много лог-данных. Я хотел бы иметь две отдельные консоли, одна из которых...
224 просмотров
schedule 10.06.2023

Как установить Gnat Programming Studio (GPS) на Mac?
Мне удалось установить компилятор gnat с libre.adacore.com на OSx 10.6.8. Я также хотел бы установить среду Gnat Programming Studio (GPS). Я пробовал разные вещи, но ни один из них не работал, и я не нашел исчерпывающего объяснения. Может ли...
3060 просмотров
schedule 21.11.2022

Как создать ada lib.a и связать с C
Я пытаюсь создать библиотеку ada и пробовал несколько разных вещей. Я попытался скомпилировать проект с помощью make-файлов и попытаться создать библиотеку из всех файлов .o. Похоже, это не сработало, как ожидалось. Затем я обратился в службу...
4712 просмотров
schedule 22.12.2022

Сбой сборки веб-сервера Ada
Я пытаюсь собрать AWS GPL 2015, но получаю следующую ошибку: $ make setup build gprbind xoscons.bexch gnatbind xoscons.ali gnatgcc -c b__xoscons.adb gnatgcc xoscons.o -o xoscons Setup OS specific definitions Can not generate system tags. The test...
201 просмотров
schedule 25.04.2023

GPS-GNAT 2006 плохо работает в Windows 7
Я работаю над проектом, разработанным в ADA для Windows XP с использованием GPS-GNAT 2006, и должен перенести его на Windows 7, однако при попытке обновления до более новой версии GPS-GNAT (2008+) код ada генерирует исключения, но на Версия 2006...
234 просмотров
schedule 26.02.2023