请参见GNAT社区版中没有GNATtest?中的问题。
在使用GNAT CE 2020的Windows 10上,按照链接中提到的ASIS包的指导构建gnattest时,尝试生成测试套件(gnattest -Pgpr-file)时仍然会出现错误,gnattest报告:gnat1:无效开关:-gnatt
有谁知道如何继续吗?
请参见GNAT社区版中没有GNATtest?中的问题。
在使用GNAT CE 2020的Windows 10上,按照链接中提到的ASIS包的指导构建gnattest时,尝试生成测试套件(gnattest -Pgpr-file)时仍然会出现错误,gnattest报告:gnat1:无效开关:-gnatt
有谁知道如何继续吗?
-gnatt
是一个开关,它会转储ASIS(Ada语言中的标准接口规范)信息。AdaCore正在逐步淘汰ASIS(对于我们这些不受支持的用户而言,已经远离ASIS了)。
gnattest
是libadalang-tools
中支持的工具之一,它依赖于libadalang
。
这两者的源代码都可以在AdaCore社区下载页面上获取,但由于gnattest
只是在3个月前从Work-in-Progress中移出来的,而且下载页面上最新版本的日期是4月30日,所以我想你得硬着头皮从AdaCore的Github网站下载,并需要Python 3.8+。
我只在macOS上构建过libadalang
和-tools
,所以我想我无法提供更多帮助。