在本学习 Ada 的第 22.1 章中,尝试构建示例。
它期望安装 GNATprove。我使用的是 Ubuntu 18.04 LTS,但没有看到任何提供它的软件包。当我尝试查找主存储库时,我发现的只是 Open Do 中的内容,当我单击下载按钮时,它似乎是一个损坏的链接。 Google 几乎没有提供有关 GNATprove 的信息,这有点令人担忧。
我是 Ada 新手,所以我真的不知道我应该使用什么,所以如果 GNATprove 不正确,请告诉我。我通常也期望有一个免费的软件工具链——这是一个合理的期望还是我应该期望需要“专业”版本来了解 Ada/SPARK 的全部内容?