从github安装ada库--继续获取未找到的文件错误

Question

这是一个非常有趣的问题，但我正在努力安装libadalang (为了避免X-Y问题)，这是因为我有一个正常工作的Gnatstudio，安装了ada then服务器，然后我无法启动Gnatstudio，因为它需要libadalang.so。因此，我尝试安装libadalang，但当前遇到表单失败的问题

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

因此，我在看起来可能的任何地方都安装了langkit，这让我的/opt/GNAT/2020收到了垃圾邮件。

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

但是libadalang的安装程序仍然不能正常工作。

显然，这里的路径发生了一些我无法理解的事情。我需要从github安装一些其他的ada和SPARK-ada库，我想正确地安装，有人能提供有关paths如何工作的任何信息吗？

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