时间戳

首页 > 解决方案 > CMake 找不到 GMP

cmake - CMake 找不到 GMP

问题描述

我正在尝试交叉编译 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命令的参数。

标签： cmakearmdebianapt-getgmp

解决方案

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

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

推荐阅读