web-dev-qa-db-ja.com

「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ですが、誰がどのパッケージなのかを知っていますか？

Edit2：この page に従ってMPFRをインストールしましたが、今ではエラーメッセージが表示されますgmp_caml.c:17:33: fatal error: caml/camlidlruntime.h: No such file or directoryですが、誰か助けてもらえますか？

Edit3：apt-file search camlidlruntimeを実行しましたが、camlidl: /usr/lib/ocaml/caml/camlidlruntime.hを返しましたが、フォルダーにcamlidlruntime.hがありません/usr/lib/ocaml/caml/、dev package of MPFRをインストールしたかどうかを確認するにはどうすればよいですか？そして、それは正確に約どのパッケージですか？

cmakefile
47
SoftTimur

libgmp3-devをインストールする必要があります

linuxに依存します

yum install  libgmp3-dev

apt-get install  libgmp3-dev
78
Vivek Goel

OS Xで（Homebrewを使用している場合）、これを行います：

brew install gmp
13
mpontillo

Centos 6.5では、Sudo yum install gmp gmp-devel gmp-status。

ProTip：yumでgmpを検索し、yumがコマンドを提供することも確認してください。

4
Nishant

特定の理由で32ビット形式のこのライブラリが必要になることがあるためです（私にとってはそうでした）

（Ubuntu/Debianで）実行する必要があります：

apt-get install  libgmp3-dev:i386

サフィックス:i386ライブラリの背後には、32ビットバージョンのライブラリがインストールされます。

3
Valentin Montmirail

私は多くの研究を行い、最終的に次の環境変数で色相をコンパイルできました。

    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"
2
Joachim

私にとってこれはうまくいきました：-

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