Нет GNATtest в GNAT Community Edition?

Question

Когда я пытаюсь создать модульные тесты в GNAT 2020 Community Edition (Windows 10 64 бит), я получаю сообщение об отсутствии инструмента gnattest: could not locate gnattest. То же самое происходит в Ubuntu 20.04 (в WSL) с пакетом gnat-10: could not locate x86_64-linux-gnu-gnattest-10.

Является ли GNATtest частью GNAT 2020 Community Edition, как показано на веб-сайте AdaCores (https://www.adacore.com/gnatpro/comparison )?

Answer 1

Да, в Community Edition 2020 gnattest не входит. Основная причина: gnattest - это инструмент, основанный на библиотеке ASIS , которая больше не поддерживается. AdaCore движется к библиотеке libadalang , и на данный момент gnattest является жертвой этих изменений. Рано или поздно он вернется в Community Edition (когда он будет переписан для использования libadalang ). Источник: Я столкнулся с той же проблемой, и я получил ответ от AdaCore :)

В настоящий момент вы можете загрузить исходный пакет asis-2019-20190517-18AB5-src.tar.gz из предыдущей версии GNAT и скомпилировать его самостоятельно. По крайней мере, для меня это работает.

Answer 2

В Ubuntu вы можете просто установить приложения asis с помощью: sudo apt install asis-programs

Answer 3

AdaCore отходит от ASIS к своей собственной технологии libadalang, а GNAT CE 2020 не включает ASIS.

Приложения на основе ASIS в GNAT CE 2019:

gnat2xml
gnat2xsd
gnatcheck
gnatelim
gnatmetric *
gnatpp *
gnatstub *
gnattest

, из которых только отмеченные звездочкой находятся в GNAT CE 2020 (для macOS, во всяком случае).

Если вы выполняете go с ответом @ thindil , было бы лучше установить инструменты ASIS в их собственный каталог, чтобы не наступать на gnatpp et c.

Для информации, gnatelim отсутствует, потому что - для целей, использующих компоновщик GNU - -ffunction-sections, -fdata-sections и -gc-sections выполняют эквивалентную работу