GNAT Pro社区版中是否没有GNATtest？

Question

[当我尝试在GNAT Pro 2020 Community Edition（Windows 10 64位）中生成单元测试时，由于缺少gnattest工具而出现错误：could not locate gnattest。在带有gnat-10软件包的Ubuntu 20.04（在WSL中）中也是如此：could not locate x86_64-linux-gnu-gnattest-10。

如AdaCores网站（https://www.adacore.com/gnatpro/comparison）所示，GNATtest是否不属于GNAT 2020 Community Edition的一部分？

Answer 1

不包括2020 Community Edition gnattest。主要原因：gnattest是基于库ASIS的工具，不再维护。 AdaCore正在转向libadalang库，目前gnattest是这些更改的受害者。它将早晚返回Community Edition（将其重写为使用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做等效的工作