“ Gmp.h”在哪里？

我正在安装一个库，并得到这个错误消息:

xxxx@ubuntu$ make
(cd num; make all)
make[1]: Entering directory `/home/xxxx/num'
make[1]: Nothing to be done for `all'.
make[1]: Leaving directory `/home/xxxx/num'
(cd itv; make all)
make[1]: Entering directory `/home/xxxx/itv'
gcc -Wcast-qual -Wswitch -Werror-implicit-function-declaration -Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes -Wno-unused -std=c99 -U__STRICT_ANSI__ -O3 -DNDEBUG -I../num -I../apron -I/usr/include -I/usr/include -DNUM_MPQ -c -o itvMPQ.o itv.c
In file included from itv.h:9:0,
from itv.c:5:
../num/num.h:15:17: fatal error: gmp.h: No such file or directory
compilation terminated.
make[1]: *** [itvMPQ.o] Error 1
make[1]: Leaving directory `/home/xxxx/itv'
make: *** [c] Error 2

所以问题在于它找不到 gmp.h，有人知道这个文件在哪里吗，以及如何让安装程序找到它？顺便说一下，目前我的 Makefile主要指向 /usr和 /usr/local..。

Edit1 : 在按照建议安装 libgmp3-dev之后，当前的错误消息是 ../num/num.h:16:18: fatal error: mpfr.h: No such file or directory，有人知道它是关于哪个包的吗？

编辑2 : 我已经按照这个 呼叫安装了 MPFR，这确实有帮助，现在错误消息是 gmp_caml.c:17:33: fatal error: caml/camlidlruntime.h: No such file or directory，有人能帮忙吗？

编辑3 : 我已经做了 apt-file search camlidlruntime，它返回 camlidl: /usr/lib/ocaml/caml/camlidlruntime.h，但是在我的文件夹 /usr/lib/ocaml/caml/中没有 camlidlruntime.h，如何检查我是否已经安装了 dev package of MPFR？到底是关于哪个包裹的？

106154 次浏览
小开
最佳答案

你需要安装 Libgmp3-dev

取决于你的 Linux

yum install  libgmp3-dev


apt-get install  libgmp3-dev
小开

在 OS X 操作系统上(如果你使用的是自制软件) ，可以这样做:

brew install gmp
小开

因为它可能会发生，你需要这个库在32位格式的任何特定的原因(就像它是为我)

你需要运行(在 Ubuntu/Debian 上) :

apt-get install  libgmp3-dev:i386

任何库后面的后缀 :i386将安装它的32位版本。

小开

在森托斯6.5它是 sudo yum install gmp gmp-devel gmp-status。

提示: 只要在 yum 中搜索 gmp，还可以查看 yum 供应命令。

小开

我做了很多研究，最后我可以用下面的环境变量来编译色相:

    export CPFLAGS="-I/usr/local/include/gmp.h -I/usr/local/opt/openssl/include"
export CFLAGS="-I/usr/local/include/gmp.h"
export CXXFLAGS="-I/usr/local/include/gmp.h"
export LDFLAGS="-L/usr/local/lib -L/usr/local/opt/openssl/lib"


export PKG_CONFIG_PATH="/usr/local/opt/openssl/lib/pkgconfig"
小开

对我来说，这个方法奏效了:-

apt-get install  libgmp3-dev   (Might vary in linux distro; this is for Ubuntu)
pip3 install gmpy --user
小开

这听起来可能有点傻: 每当我出现错误，我就这么做: sudo apt-get install lib<name_of_library_not_found>-dev 然后问题就解决了。 不知道怎么做，一些与开发人员库或东西


提交答案