首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >配置从源构建gdb时缺少gmp。

配置从源构建gdb时缺少gmp。
EN

Stack Overflow用户
提问于 2021-12-16 14:17:59
回答 3查看 5.8K关注 0票数 1

我正在尝试从源代码构建gdb,哪个版本是11.1。我已经配置了包含路径的GMP,但是配置脚本仍然报告了一个错误。

代码语言:javascript
运行
复制
configure: error: GMP is missing or unusable

我复制了配置日志。

代码语言:javascript
运行
复制
configure:10433: checking for libgmp
configure:10453: gcc -o conftest -g -O2      conftest.c -lncurses -lm -ldl  -lgmp >&5
conftest.c:53:17: fatal error: gmp.h: No such file or directory

我的配置命令如下所示。

代码语言:javascript
运行
复制
configure --prefix=/home/xxx/ins/gdb_11 --with-gmp-include=/home/xxx/ins/gmp-6.2.1/include --with-gmp-lib=/home/xxx/ins/gmp-6.2.1/lib

有什么问题吗?

EN

回答 3

Stack Overflow用户

回答已采纳

发布于 2021-12-16 18:51:07

从GDB的配置脚本来看,我认为问题在于GDB没有选择-with include和-with lib配置标志。这些标志是在toplevel配置脚本中处理的,并通过环境提供给每个子组件(GDB、binutils、ld等),看起来GDB没有提取这些标记。

前进的最简单方法是在配置时覆盖CFLAGS和CXXFLAGS,如下所示:

代码语言:javascript
运行
复制
configure CFLAGS="-I/gmp/include/path -L/gmp/lib/path" CXXFLAGS="-I/gmp/include/path -L/gmp/lib/path"

--后来编辑

虽然这个答案的技巧是可行的,但正确的答案是江达给出的。

票数 2
EN

Stack Overflow用户

发布于 2022-04-27 13:53:59

确保安装了libgmp-dev。

我的操作系统是ubuntu 20.04

代码语言:javascript
运行
复制
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install libgmp-dev
wget http://ftp.gnu.org/gnu/gdb/gdb-11.2.tar.gz
tar -xvzf gdb-11.2.tar.gz
./configure
make
sudo make install

一旦安装了GDB,就可以打印GDB版本来测试它是否安装正确。

gdb --version img

票数 4
EN

Stack Overflow用户

发布于 2022-01-14 01:22:30

您可以使用gdb的配置选项:

代码语言:javascript
运行
复制
  --with-libgmp-prefix="path to gmp"
票数 3
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/70380547

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档