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

标签 ada gnat

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

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

有人知道如何进行吗?

最佳答案

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

gnattestlibadalang-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/

相关文章:

ada - 如何将数据从字符串访问复制到 Ada.String

simd - 我将如何在 Ada 中定义 __m256i 数据类型?

ada - 使用 GNAT 编译静态库

c - 如何创建 ada lib.a 并链接到 C

gnu - 如何使用 gnatmake 编译 spec _.ada 和 body .ada?

c - If Thens 比乘法和赋值更快吗?

ada - 数组(数组'第一个) "array index check might fail"

types - Ada 中的普通整数和别名整数有什么区别?

compiler-warnings - "requires body"警告

ada - 操作只能以一种类型进行调度