Ada 蚊虫社区版中没有蚊虫测试？

当我尝试在GNAT 2020 Community Edition（Windows 10 64位）中生成单元测试时，我在缺少gnattest工具时出错：

无法找到gnattest

。 同样的情况也发生在Ubuntu 20.04（在WSL中）上，软件包gnat-10:

找不到x86_64-linux-gnu-gnattest-10

---

如AdaCores网站（）所示，GNATtest是否不是GNAT 2020社区版的一部分？

是，2020社区版中不包括GNATtest。主要原因：

gnattest

是基于不再维护的库ASIS的工具。AdaCore正朝着libadalang库的方向发展，目前

gnattest

是这些变化的受害者。它将很快或稍后返回社区版（当它将被重写为使用libadalang）。来源：我也遇到了同样的问题，我从AdaCore得到了这个答案：）

---

此时，您可以从GNAT的早期版本下载源程序包

asis-2019-20190517-18AB5-src.tar.gz

，并自行编译。至少对我来说，它是有效的

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

GNAT CE 2019中基于ASIS的应用包括

gnat2xml
gnat2xsd
gnatcheck
gnatelim
gnatmetric *
gnatpp *
gnatstub *
gnattest

其中只有标有星号的是GNAT CE 2020（对于macOS，无论如何）

如果您使用@thindil，最好将ASIS工具安装在它们自己的目录中，以避免踩到

gnatpp

等

---

信息方面，

gnatelim

缺失，因为对于使用GNU链接器的目标，

-ffunction部分

，

-fdata部分

，以及

-gc部分

在Ubuntu上做同样的工作

，您只需安装asis应用程序：sudo apt install asis programs