g++静态编译生成二进制文件时无法链接libm.a的问题求助

问题描述 #

编写C内核时，尝试用g静态编译基础C++文件并生成纯二进制格式，链接器ld始终跳过静态数学库libm.a，最终编译失败。

测试文件test.cpp代码：

int main() {
  return 0;
}

使用编译命令：

g++ -static test.cpp -Wl,--oformat=binary

得到错误输出：

/usr/bin/ld: skipping incompatible /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/libm.a when searching for -lm
/usr/bin/ld: skipping incompatible /lib/x86_64-linux-gnu/libm.a when searching for -lm
/usr/bin/ld: skipping incompatible /usr/lib/x86_64-linux-gnu/libm.a when searching for -lm
/usr/bin/ld: skipping incompatible /lib/x86_64-linux-gnu/libm.a when searching for -lm
/usr/bin/ld: skipping incompatible /usr/lib/x86_64-linux-gnu/libm.a when searching for -lm
/usr/bin/ld: cannot find -lm: No such file or directory

环境：VirtualBox虚拟机中的Linux Mint Cinnamon 21（Vanessa）系统。

排查过程 #

• 去掉-static标志尝试编译，命令：

  g++ test.cpp -Wl,--oformat=binary
  

  出现新错误：

  /usr/bin/ld: /usr/lib/gcc/x86_64-linux-gnu/11/libstdc++.so: error adding symbols: file in wrong format
  collect2: error: ld returned 1 exit status
  

• 用file命令检查/usr/lib/x86_64-linux-gnu/libm.a，输出为libm.a: ASCII text，打开后发现是链接脚本，内容：

  /* GNU ld script
  */
  OUTPUT_FORMAT(elf64-x86-64)
  GROUP ( /usr/lib/x86_64-linux-gnu/libm-2.35.a /usr/lib/x86_64-linux-gnu/libmvec.a )
  

• 确认脚本中引用的libm-2.35.a和libmvec.a均存在，且经objdump验证为64位版本，但ld仍跳过该链接脚本。

可能原因 #

1. 输出格式冲突：--oformat=binary要求ld生成纯二进制文件，但链接脚本中指定了OUTPUT_FORMAT(elf64-x86-64)，ld在处理格式不匹配的链接脚本时直接跳过，转而寻找真实的归档库，而libm.a本身是脚本不是归档，因此报错找不到。
2. 静态链接模式的库识别逻辑：使用-static时，ld期望直接找到归档文件（.a），而非链接脚本形式的"间接库"。即使脚本指向了正确的归档，ld在静态链接模式下也不会解析这个脚本，所以判定libm.a不兼容并跳过。
3. GCC/ld版本行为：gcc 11在组合使用-static和--oformat=binary时，可能存在对链接脚本处理的兼容性问题，导致无法正确识别libm.a的脚本身份。

临时解决方法 #

• 直接指定真实库文件：编译时跳过-lm，手动添加链接脚本中的真实库：

  g++ -static test.cpp /usr/lib/x86_64-linux-gnu/libm-2.35.a /usr/lib/x86_64-linux-gnu/libmvec.a -Wl,--oformat=binary
  

• 分两步转换格式：先编译成ELF可执行文件，再用objcopy转换为纯二进制：

  g++ -static test.cpp -o test.elf
  objcopy -O binary test.elf test.bin
  

内容的提问来源于stack exchange，提问作者ErichToaster