编译Hypro包报错：gmp.h未找到，如何排查修复？

问题描述 #

在2020款M1芯片MacBook Pro（macOS 14.0，已更新XCode）上编译Hypro，完成拉取GitHub仓库、安装依赖、创建build文件夹后，执行cmake ..和make resources，随后运行make时出现错误，GLPK配置阶段提示未找到gmp.h，已通过brew卸载并重装GMP但问题依旧。

错误日志如下：

(base) lars@unterwegs-3 build % make                  
[  0%] Performing configure step for 'glpk'
CMake Error at /Users/lars/phd/hypro/build/resources/src/glpk-stamp/glpk-configure-Release.cmake:37 (message):
  Command failed: 1

   '/Users/lars/phd/hypro/resources/glpk-5.0/configure' '--prefix=/Users/lars/phd/hypro/build/resources/src/glpk-build' '--with-gmp' '--with-pic' 'CPPFLAGS=-fPIC' '--disable-shared' '--disable-dl' '--enable-static'

  See also

    /Users/lars/phd/hypro/build/resources/src/glpk-stamp/glpk-configure.log

-- Log output is:
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a race-free mkdir -p... ./install-sh -c -d
checking for gawk... no
checking for mawk... no
checking for nawk... no
checking for awk... awk
checking whether make sets $(MAKE)... yes
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether the compiler supports GNU C... yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking for style of include used by make... GNU
checking dependency style of gcc... gcc3
checking build system type... arm-apple-darwin23.0.0
checking host system type... arm-apple-darwin23.0.0
checking how to print strings... printf
checking for a sed that does not truncate output... /usr/bin/sed
checking for grep that handles long lines and -e... /usr/bin/grep
checking for egrep... /usr/bin/grep -E
checking for fgrep... /usr/bin/grep -F
checking for ld used by gcc... /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld
checking if the linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) is GNU ld... no
checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
checking the name lister (/usr/bin/nm -B) interface... BSD nm
checking whether ln -s works... yes
checking the maximum length of command line arguments... 786432
checking whether the shell understands some XSI constructs... yes
checking whether the shell understands "+="... yes
checking how to convert arm-apple-darwin23.0.0 file names to arm-apple-darwin23.0.0 format... func_convert_file_noop
checking how to convert arm-apple-darwin23.0.0 file names to toolchain format... func_convert_file_noop
checking for /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld option to reload object files... -r
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for dlltool... no
checking how to associate runtime and link libraries... printf %s

checking for ar... ar
checking for archiver @FILE support... no
checking for strip... strip
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
checking for sysroot... no
checking for mt... no
checking if : is a manifest tool... no
checking for dsymutil... dsymutil
checking for nmedit... nmedit
checking for lipo... lipo
checking for otool... otool
checking for otool64... no
checking for -single_module linker flag... no
checking for -exported_symbols_list linker flag... yes
checking for -force_load linker flag... yes
checking for stdio.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for strings.h... yes
checking for sys/stat.h... yes
checking for sys/types.h... yes
checking for unistd.h... yes
checking for dlfcn.h... yes
checking for objdir... .libs
checking if gcc supports -fno-rtti -fno-exceptions... yes
checking for gcc option to produce PIC... -fno-common -DPIC
checking if gcc PIC flag -fno-common -DPIC works... yes
checking if gcc static flag -static works... no
checking if gcc supports -c -o file.o... yes
checking if gcc supports -c -o file.o... (cached) yes
checking whether the gcc linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) supports shared libraries... yes
checking dynamic linker characteristics... darwin23.0.0 dyld
checking how to hardcode library paths into programs... immediate
checking whether stripping libraries is possible... yes
checking if libtool supports shared libraries... yes
checking whether to build shared libraries... no
checking whether to build static libraries... yes
checking for exp in -lm... yes
checking for sys/time.h... yes
checking for gettimeofday... yes
checking for gmp.h... no
configure: error: gmp.h header not found

CMake Error at /Users/lars/phd/hypro/build/resources/src/glpk-stamp/glpk-configure-Release.cmake:47 (message):
  Stopping after outputting logs.

make[2]: *** [resources/src/glpk-stamp/glpk-configure] Error 1
make[1]: *** [resources/CMakeFiles/glpk.dir/all] Error 2
make: *** [all] Error 2

解决方案 #

• 确认GMP安装路径：M1 Mac上brew安装的GMP，头文件默认在/opt/homebrew/include，库文件在/opt/homebrew/lib
• 重新执行cmake时手动指定GMP路径：

  cmake .. -DGMP_INCLUDE_DIR=/opt/homebrew/include -DGMP_LIBRARY=/opt/homebrew/lib/libgmp.a
  

• 若cmake指定路径无效，设置环境变量后再执行make：

  export CPPFLAGS="-I/opt/homebrew/include"
  export LDFLAGS="-L/opt/homebrew/lib"
  make
  

• 确保XCode命令行工具完整：

  xcode-select --install
  

• 手动编译GLPK并指定GMP路径：

  cd /Users/lars/phd/hypro/resources/glpk-5.0
  ./configure --prefix=/Users/lars/phd/hypro/build/resources/src/glpk-build --with-gmp --with-pic CPPFLAGS="-fPIC -I/opt/homebrew/include" LDFLAGS="-L/opt/homebrew/lib" --disable-shared --disable-dl --enable-static
  make && make install
  

  完成后回到build目录继续执行make

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