CMake 找不到 GMP

Question

我正在尝试交叉编译 CVC4，但找不到 GMP。我使用以下指南进行安装：http://cvc4.cs.stanford.edu/wiki/Developer%27s_Guide

当我运行 ./configure.sh production 我得到以下错误：

CMake Error at /usr/share/cmake-3.7/Modules/FindPackageHandleStandardArgs.cmake:138 (message):
  Could NOT find GMP (missing: GMP_LIBRARIES)
Call Stack (most recent call first):
  /usr/share/cmake-3.7/Modules/FindPackageHandleStandardArgs.cmake:378 (_FPHSA_FAILURE_MESSAGE)
  cmake/FindGMP.cmake:10 (find_package_handle_standard_args)
  CMakeLists.txt:356 (find_package)


-- Configuring incomplete, errors occurred!

不过，我安装了libgmp3-dev:armel和libgmp10:armel:

$ sudo apt-get install libgmp3-dev:armel
Reading package lists... Done
Building dependency tree
Reading state information... Done
libgmp3-dev:armel is already the newest version (2:6.1.2+dfsg-1).
0 upgraded, 0 newly installed, 0 to remove and 61 not upgraded.

$ sudo apt-get install libgmp10:armel
Reading package lists... Done
Building dependency tree
Reading state information... Done
libgmp10:armel is already the newest version (2:6.1.2+dfsg-1).
0 upgraded, 0 newly installed, 0 to remove and 61 not upgraded.

我是否需要安装其他 gmp 软件包，或者是否有必要将安装位置指定为 ./configure.sh 命令的参数。

Answer 1

解决方案是将安装位置指定为 ./configure.sh 命令的参数：

./configure.sh --gmp-dir=/usr/lib/arm-linux-gnueabi

CMake 找不到 GMP

CMake Could NOT find GMP

debian

arm

cmake

gmp

apt-get