请参阅 No GNATtest in GNAT Community Edition? 中的问题
在 Windows 10 上,使用 GNAT CE 2020,当我按照链接中提到的 ASIS 包中的指导构建 gnattest 时,我在尝试生成测试工具 (gnattest -Pgpr-file) 时仍然遇到错误,gnattest 报告: gnat1: 无效开关:-gnatt
有人知道如何进行吗?
最佳答案
-gnatt
是转储 ASIS 信息的开关,AdaCore 正在远离 ASIS(好吧,就我们不受支持的用户而言,已经移动了)。
gnattest
是libadalang-tools
支持的工具之一,它依赖于libadalang
。
AdaCore 社区下载页面上提供了这两者的源代码,但由于 gnattest
仅在 3 个月前从正在进行的工作中移出,下载页面上的最新版本日期为 4 月30 我认为您必须硬着头皮从 AdaCore 的 Github site 下载。 ,并且您还需要 Python 3.8+。
我构建 libadalang
和 -tools
的唯一经验是在 macOS 上,所以我认为我无法提供更多帮助。
关于ada - GNAT CE 2020 无法识别 -gnatt 开关,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/65494168/