为 Gnatstudio 执行 ./configure 时，我收到以下错误。我已经搜索了与此相关的参考资料，但找不到与之相关的任何内容。 Gprconfig 已顺利配置。
通过一个简单的示例检查您的 gnat 编译器是否正常工作... GNAT-TEMP-000001.TMP:108:11: 未定义的属性“bindfile_option_substitution” GNAT-TEMP-000001.TMP:109:11：未定义属性“bindfile_option_substitution” gprbuild：处理配置项目“/tmp/GNAT-TEMP-000001.TMP”失败
定位变量“bindfile_option_substitution”。不知道这个在哪里。