如何获得gcc的Ada规范搜索路径

Question

基本问题：

如何让gcc告诉我搜索Ada的位置包括哪些内容？

具体问题：

我刚刚将C库的头文件转换为Ada规格，以便我可以使用Ada与库进行交互。我现在想在我的系统上安装规范。我还希望在某种程度上使安装可移植，以便我可以make install在任何机器上（因此托管规范和Github {{3}}或类似）。我只是不确定将规格安装到何处。

Answer 1

gnat ls -v会为您提供默认搜索路径。

如果要安装自己的Ada库，则应将项目文件（.gpr）放在“项目搜索路径”中，这将告诉gnat在哪里可以找到ada和ali文件以及库。

通常，您会将ada文件放在/usr/[local/]include/myadalib中，将al文件放在/usr/[local/]lib/myadalib中，然后将.so文件链接到/usr/[local/]lib，但您可以将它们放在任何您想要的位置。重要的是将项目文件（myadalib.gpr）放在项目搜索路径中。

您甚至可以通过设置ADA_PROJECT_PATH环境变量来调整项目搜索路径。