如何解决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 to remove and 61 not upgraded.
是否需要安装其他 gmp 软件包,或者是否需要将安装位置指定为 ./configure.sh
命令的参数。
解决方法
解决方案是将安装位置指定为 ./configure.sh
命令的参数:
./configure.sh --gmp-dir=/usr/lib/arm-linux-gnueabi
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。