没有GNATtest在蚊虫社区版？

Question

当我试图在GNAT 2020 Community (Windows1064位)中生成单元测试时，我会在缺少的could not locate gnattest工具上得到一个错误。同样的情况发生在Ubuntu20.04(在WSL中)与软件包gnat-10：could not locate x86_64-linux-gnu-gnattest-10。

GNATtest不属于AdaCores网站(https://www.adacore.com/gnatpro/comparison)所示的侏儒2020社区版吗？

Answer 1

是的，在2020年，社区版gnattest不包括在内。主要原因：gnattest是基于库ASIS的工具，不再被维护。AdaCore正在向libadalang库迈进，目前gnattest是这些变化的受害者。它将很快回到Community (当它将被重写为使用libadalang时)。来源:我遇到了同样的问题，我从AdaCore得到了这个答案:)

此时，您可以从以前版本的GNAT下载源代码包asis-2019-20190517-18AB5-src.tar.gz，并自行编译它。至少对我来说很管用。

Answer 2

AdaCore正在从ASIS转向他们自己的libadalang技术，而GNAT CE 2020不包括ASIS。

在GNAT CE 2019中基于ASIS的应用程序如下

gnat2xml
gnat2xsd
gnatcheck
gnatelim
gnatmetric *
gnatpp *
gnatstub *
gnattest

其中只有标记为星号的是在GNAT CE 2020中(至少对于macOS )。

如果您确实使用@thindil的answer，最好将ASIS工具安装在它们自己的目录中，以避免踩在gnatpp等上。

有关信息，gnatelim缺失是因为-对于使用GNU链接器的目标- -ffunction-sections、-fdata-sections和-gc-sections可以完成同等的工作。

Answer 3

在Ubuntu上，您可以使用: sudo apt安装asis -程序来安装asis应用程序。