Gecode 6.2.0运行示例时触发Segmentation fault问题求助

1. 检查版本兼容性与尝试官方源安装 #

• 确认手动编译的Gecode版本是否适配Ubuntu 20.04，部分版本可能存在系统依赖兼容问题。可先尝试安装官方源中的Gecode包替代手动编译：

  sudo apt install gecode gecode-dev
  

  安装后直接运行money示例测试是否仍出现段错误。

2. 简化编译配置参数 #

• 你的configure命令指定了GMP和MPFR依赖，但部分基础示例可能不需要这些组件。尝试禁用相关依赖重新编译：

  ./configure --disable-gmp --disable-mpfr
  make clean && make && sudo make install
  

  编译完成后再次运行示例验证问题是否解决。

3. 生成并分析core文件定位崩溃点 #

• 开启core文件生成权限：

  ulimit -c unlimited
  

  再次运行./examples/money，程序崩溃后会在当前目录生成core文件。使用gdb分析崩溃调用栈：

  gdb ./examples/money core
  

  在gdb交互界面输入bt查看完整调用栈，根据输出判断是Gecode库内部bug还是编译链接阶段的问题。

4. 验证库链接路径正确性 #

• 检查示例程序链接的Gecode库路径是否为你手动安装的版本：

  ldd ./examples/money
  

  若输出中Gecode相关库指向系统默认路径，需调整环境变量优先加载手动安装的库：

  export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
  

  调整后重新运行示例。

5. 补全编译依赖并重新编译 #

• 确保安装了所有必要的编译依赖：

  sudo apt install build-essential libgmp-dev libmpfr-dev qtbase5-dev
  

  重新执行./configure、make、make install流程，注意观察configure输出中是否有依赖检测失败的提示，及时修复后再编译。

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