compilation - 为 Ada 构建共享库

Question

我在不使用 GPR 的情况下从 Ada 包构建共享库时遇到了一些问题。

我有一个 Numerics 包，位于文件“numerics.ads”和“numerics.adb”中。他们没有依赖性。有一个小的构建脚本，它可以:

gnatmake -Os numerics.ad[bs] -cargs -fPIC
gcc -shared numerics.o -o libnumerics.so -Wl,-soname,libnumerics.so

.so 和 .ali 文件安装在/usr/lib 中，.ads 文件安装在/usr/include 中。

gnatls -v 输出以下相关部分:

Source Search Path:
    <Current_Directory>
    /usr/include
    /usr/lib/gcc/x86_64-unknown-linux-gnu/5.1.0/adainclude

Object Search Path:
    <Current_Directory>
    /usr/lib
    /usr/lib/gcc/x86_64-unknown-linux-gnu/5.1.0/adalib

所以 GNAT 查找文件应该没有问题。

然后，尝试编译一个依赖于 Numerics 的包:

gnatmake -O2 mathematics.ad[bs] -cargs -fPIC

输出:

gcc -c -fPIC mathematics.adb
gcc -c -I./ -fPIC -I- /usr/include/numerics.ads
cannot generate code for file numerics.ads (package spec)
gnatmake: "/usr/include/numerics.ads" compilation error

这个错误让我认为 GNAT 无法识别共享库，并且正在尝试重建 Numerics。

我想构建共享库，并且仅提供用于引用/文档目的的规范。

编辑: 所以，看起来 gprbuild 做了两件事我没有做。首先，还将 -lnumerics 传递给编译器。第二个是 -L«ProjectDirectory»，因为 libnumerics.so 无论如何都在标准目录中，所以这应该不重要。 GPRbuild 显然也没有执行所需的行为，即使它正在构建依赖项目。它应该使用已安装的库/usr/lib/libnumerics.so，但使用的是“path”/Numerics/build/libnumerics.so。此外，在使用 GPRbuild 构建 Numerics 后，然后重命名主体以使主体不存在(就像安装的文件一样)，当使用 GPRbuild 构建数学时，它会提示完全相同的问题。就好像这些库甚至没有共享，GPRBuild 只是让它们看起来像那样(除了 readelf 报告库内的正确依赖项)。

将 -lnumerics 添加到构建脚本中没有任何作用；构建错误完全相同。我现在完全迷失了。

编辑: 根据 Simon 的链接，构建脚本已更改为:

gnatmake -O2 mathematics.ad[bs] \
    -aI/usr/include \
    -aO/usr/lib \
    -cargs -fPIC \
    -largs -lnumerics

错误本质上是相同的:

 gcc -c -O2 -I/usr/include/ -fPIC mathematics.adb
 gcc -c -I./ -O2 -I/usr/include/ -fPIC -I- /usr/include/numerics.ads
 cannot generate code for file numerics.ads (package spec)
 gnatmake: "/usr/include/numerics.ads" compilation error

我想检查一下 libnumerics.so 实际上是一个正确的共享库。 ldd 报告:

 linux-vdso.so.1 (0x00007ffd944c1000)
 libc.so.6 => /usr/lib/libc.so.6 (0x00007f50d3927000)
 /usr/lib64/ld-linux-x86-64.so.2 (0x00007f50d3ed4000)

所以我想是的，这个库很好，但 gnatmake 仍然无法识别它。

Answer 1

一般来说，您还需要安装软件包的主体(在您的情况下为 numerics.adb)。另外，我怀疑你想设置 ALI 文件 (numerics.ali) 为只读，以便 gnatmake 不会尝试重新编译它们。