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

Question

这是一个非常棘手的问题，但我正在努力特别安装libadalang(为了避免X-Y问题)，我有一个正在运行的Gnatstudio，安装了ada网络服务器，然后我无法启动 Gnatstudio，因为它需要 libadalang.so。所以我尝试安装 libadalang 并 我目前收到表单失败

libadalang-iterators-extensions.ads:29:29:找不到文件“langkit_support-symbols-precompulated.ads”

因此，我通过在任何可能的地方安装 langkit 向我的 /opt/GNAT/2020 发送垃圾邮件。

./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 报告。