CODEWITHSUNDEEP
adagnat
kirk
kirk

Reputation: 135

No GNATtest in GNAT Community Edition?

When I try to generate unit tests in GNAT 2020 Community Edition (Windows 10 64 bit), I get an error on missing gnattest tool: could not locate gnattest. Same happens on Ubuntu 20.04 (in WSL) with package gnat-10: could not locate x86_64-linux-gnu-gnattest-10.

Is GNATtest not part of GNAT 2020 Community Edition, as shown on AdaCores website (https://www.adacore.com/gnatpro/comparison)?

Upvotes: 5

Views: 920

Answers (3)

mbdj
mbdj

Reputation: 31

On Ubuntu you can just install asis applications with : sudo apt install asis-programs

Upvotes: 3

Simon Wright
Simon Wright

Reputation: 25491

AdaCore are moving away from ASIS to their own libadalang technology, and GNAT CE 2020 doesn’t include ASIS.

The ASIS-based applications in GNAT CE 2019 are

gnat2xml
gnat2xsd
gnatcheck
gnatelim
gnatmetric *
gnatpp *
gnatstub *
gnattest

of which only the ones marked with an asterisk are in GNAT CE 2020 (for macOS, at any rate).

If you do go with @thindil’s answer, it’d be best to install the ASIS tools in their own directory, so as to avoid stomping on gnatpp etc.

For info, gnatelim is missing because - for targets using the GNU linker - -ffunction-sections, -fdata-sections, and -gc-sections do the equivalent job

Upvotes: 2

thindil
thindil

Reputation: 881

Yes in 2020 Community Edition gnattest is not included. Main reason: gnattest is tool based on library ASIS which is no longer maintained. AdaCore is moving towards libadalang library and for now gnattest is a victim of these changes. It will back soon or later to Community Edition (when it will be rewritten to use libadalang). Source: I was hit by this same problem and I got this answer from AdaCore :)

At this moment, you can download source package asis-2019-20190517-18AB5-src.tar.gz from previous version of GNAT and compile it by self. At least for me, it works.

Upvotes: 5

Related Questions