使用 GNAT 编译静态库

Compile With Static Library Using GNAT

为了了解 Ada 程序编译背后的过程(不使用 gpr),我决定手动编译我的一个项目。要编译一个程序,我 运行 在其中的每个 .adb 文件上执行以下命令(但不是手动):

$ gcc -c src/<file>.adb -o obj/<file>.o

编译所有文件并将它们放在 obj 目录中。

或者更确切地说,它会。这有一个小问题。我有一个存档(静态库),它是我从另一个项目生成的,名为 libapples.a,包含包 ApplesApples 包被你看到我在上面编译的文件使用。

由于 libapples.a 不再有源文件(鉴于其存档格式),使用 -I 向上述命令提供该库的源是不可行的(甚至不可能)开关;另一方面,如果我没有包含源代码,上面的命令会返回给我说:

<file>.adb:<y>:<x>: file "apples.ads" not found
gnatmake: "src/<file>.adb" compilation error

我试图通过使用标志 -Ll 将库包含在编译过程中(我相信这是你在 C 中的做法;随时纠正我如果我错了)。在另一次尝试中,我将存档放在源目录中。

如何在编译过程中包含库?

apples.ads 有点像 C 语言中的 header,您肯定需要它来编译您的文件。您应该使用 -I 将 gcc 指向 apples.ads 所在的目录。

请注意,编译 Ada 源代码不仅会生成一个 object 文件,还会生成一个 Ada 库信息 (.ali) 文件。下一步将需要它。您不应使用 -o 标志,因为它可能导致您的 .o.ali 文件具有不同的名称。

另一方面,因为你只想生成一个 object 文件,你应该使用 -c 告诉 gcc 只编译。在 C 等其他语言中,gcc 默认编译和 links;在 Ada 中,过程更复杂。

编译完成后,需要在主程序的.ali文件中调用gnatbind。这会生成一个包,负责正确初始化所有内容。为此,gnatbind 需要 Apples 包的 .ali 文件!您可以使用 -aO.

指定 .ali 搜索目录

最后,在主 .ali 文件上调用的 gnatlink 将 link 所有内容放在一起。它自己计算出它需要哪些 object 文件和库。它会将必要的选项附加到 linker,包括对 libapples.a 的引用。它还编译由 gnatlink.

生成的包

我不知道 gnatlink 到底会做什么;您可能可以手动编译 gnatbind 生成的程序包,然后调用 linker 如果您能找出正确的参数。