问题描述
当我尝试在 GNAT 2020 社区版(Windows 10 64 位)中生成单元测试时，我收到有关缺少 gnattest 工具的错误:could not locate gnattest.在 Ubuntu 20.04(在 WSL 中)和包 gnat-10 上也会发生同样的情况:could not locate x86_64-linux-gnu-gnattest-10.
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.
GNATtest 是否不是 GNAT 2020 社区版的一部分，如 AdaCores 网站所示 (https://www.adacore.com/gnatpro/comparison)?
Is GNATtest not part of GNAT 2020 Community Edition, as shown on AdaCores website (https://www.adacore.com/gnatpro/comparison)?
推荐答案
Yes in 2020 Community Edition gnattest 不包括在内.主要原因:gnattest是基于库ASIS的工具，不再维护.AdaCore 正在向 libadalang 库发展，目前 gnattest 是这些变化的受害者.它迟早会回到社区版(届时将改写为使用 libadalang).来源:我遇到了同样的问题，我从 AdaCore 得到了这个答案:)
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 :)
此时可以从以前的GNAT版本下载源码包asis-2019-20190517-18AB5-src.tar.gz自行编译.至少对我来说，它有效.
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.
这篇关于GNAT 社区版中没有 GNATtest?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！