从 github 安装 ada 库 -- 不断收到文件未找到错误

Question

这是一个非常棘手的问题，但我正在努力安装 libadalang，它（为了避免 X-Y 问题）来自于我有一个工作的 Gnatstudio，安装了 ada 网络服务器，然后我无法开始Gnatstudio，因为它需要 libadalang.so。所以我尝试安装 libadalang 和我目前正在收到表单

的失败

libadalang-iterators-extensions.ads:29:29: file "langkit_support-symbols-precomputed.ads" not found

所以我已经在我的 /opt/GNAT/2020 垃圾邮件中安装了 langkit 任何看起来可能的地方。

./lib/langkit_support
./lib/lib/langkit_support
./lib/include/langkit_support
./include/langkit_support

libadalang 的安装程序仍然无法运行。

很明显，这里的路径发生了一些我没有得到的事情。任何人都可以提供任何关于路径应该如何工作的信息，因为我需要从 github 安装许多其他 ada 和 SPARK-ada 库，我想正确地安装它。

Answer 1

我认为，恢复 GNAT Studio 的最简单方法是删除所有内容并重新安装。 GNAT Studio 有自己的 libadalang/langkit 副本。寻找

<install-path>/lib/gnatstudio/libadalang.so
<install-path>/lib/gnatstudio/liblangkit_support.so

当您安装开发人员版本的 libadalang 时，您将获得这些文件的另一个副本。他们可能有不同的版本。

我建议您将 GNAT Studio 安装到专用目录中，并确保使用来自 bin (bin/gnatstudio) 的 shell 脚本启动它。这样它就不会受到任何其他已安装库的影响。

安装 AWS 不应破坏 GNAT Studio 安装。如果您知道如何复现，请向AdaCore报告。

从 github 安装 ada 库 -- 不断收到文件未找到错误

Installing ada libraries from github -- to keep getting file not found error

ada

spark-ada