Mac OS 的链接器问题

Issue with linker for Mac OS

我最近开始在我的系统编程实验室中使用 ada class,我可以说它真的很有趣。

我在计算机实验室尝试了大部分用于测试,我决定在 Mac一本书中安装编译器及其链接工具。

尽管安装已完成并且似乎没有问题,但当我尝试打印 classic hello world 程序时,我收到此消息:

gprbuild greet.adb                                                                                                                                                                                                            
using project file /Users/xyderos/opt/GNAT/2020/share/gpr/_default.gpr
Bind
[gprbind]      greet.bexch
[Ada]          greet.ali
Link
[link]         greet.adb
ld: library not found for -lSystem
collect2: error: ld returned 1 exit status
gprbuild: link of greet.adb failed
gprbuild: failed command was: /users/name/opt/gnat/2020/bin/gcc greet.o b__greet.o - L/Users/name/ada/ -L/Users/name/ada// -L/users/name/opt/gnat/2020/lib/gcc/x86_64-apple-darwin17.7.0/8.4.1/adalib/ /users/name/opt/gnat/2020/lib/gcc/x86_64-apple-darwin17.7.0/8.4.1/adalib/libgnat.a -Wl,-rpath,@executable_path/ -Wl,-rpath,@executable_path/..//opt/gnat/2020/lib/gcc/x86_64-apple-darwin17.7.0/8.4.1/adalib -o greet

我对 lSystem 库感到非常困惑。

似乎 Mac 上不存在该库(也许我需要安装 Xcode?)。

有没有人知道这个问题,或者是否有更好的方法通过 brew 安装它?

非常感谢!

在我的 MacOS 10.14 上,以下内容对我有用,无需下载 Xcode 的大量 blob,我既没有带宽也没有磁盘空间。我不知道这是否仍然适用于 MacOS 10.15(不打算升级)。

大部分信息来自 Simon Wright 的博客 post:https://forward-in-code.blogspot.com/2019/06/macos-software-development-kit-changes.html

  1. 您只需要 Xcode 命令行工具(不是 Xcode):xcode-select --install
  2. 现在解压包含的 headers:sudo installer -pkg /Library/Developer/CommandLineTools/Packages/macOS_SDK_headers_for_macOS_10.14.pkg -target /
  3. 并告诉 GNAT 在哪里可以找到它们:mv ce2109-specs /usr/local/opt/GNAT/2019/lib/gcc/x86_64-apple-darwin17.7.0/8.3.1/specs

ce2109-specs文件来自上面的博客post。这为我完成了工作,GNAT 现在可以 link 在 MacOS 10.14 上运行二进制文件。

如果你使用的是 10.15 并且它不起作用(因为没有更多的 Xcode 命令行工具或者它们缺少 headers 包),你将不得不安装Xcode 根据 GNAT 自述文件。