ada - GNAT CE 2020 无法识别 -gnatt 开关

Question

请参阅 No GNATtest in GNAT Community Edition? 中的问题

在 Windows 10 上，使用 GNAT CE 2020，当我按照链接中提到的 ASIS 包中的指导构建 gnattest 时，我在尝试生成测试工具 (gnattest -Pgpr-file) 时仍然遇到错误，gnattest 报告: gnat1: 无效开关:-gnatt

有人知道如何进行吗？

Answer 1

-gnatt 是转储 ASIS 信息的开关，AdaCore 正在远离 ASIS(好吧，就我们不受支持的用户而言，已经移动了)。

gnattest是libadalang-tools支持的工具之一，它依赖于libadalang。

AdaCore 社区下载页面上提供了这两者的源代码，但由于 gnattest 仅在 3 个月前从正在进行的工作中移出，下载页面上的最新版本日期为 4 月30 我认为您必须硬着头皮从 AdaCore 的 Github site 下载。 ，并且您还需要 Python 3.8+。

我构建 libadalang 和 -tools 的唯一经验是在 macOS 上，所以我认为我无法提供更多帮助。