web-dev-qa-db-fra.com

Où trouver "gmp.h"?

J'installe une bibliothèque et j'ai reçu ce message d'erreur:

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

Le problème est donc qu'il ne peut pas trouver gmp.h, quelqu'un sait-il où se trouve ce fichier et comment le trouver par l'installateur? Soit dit en passant, pour le moment, mon Makefile pointe principalement vers /usr et /usr/local...

Edit1 : Après l'installation de libgmp3-dev comme suggéré, le message d'erreur actuel est ../num/num.h:16:18: fatal error: mpfr.h: No such file or directory, quelqu'un sait-il de quel paquet il s'agit?

Edit2 : J'ai installé MPFR en suivant ceci page , et cela a aidé, maintenant le message d'erreur est gmp_caml.c:17:33: fatal error: caml/camlidlruntime.h: No such file or directory, quelqu'un pourrait-il aider?

Edit3 : J'ai fait apt-file search camlidlruntime, et il renvoie camlidl: /usr/lib/ocaml/caml/camlidlruntime.h, mais il n'y a pas camlidlruntime.h dans mon dossier /usr/lib/ocaml/caml/, comment vérifier si j'ai installé dev package of MPFR? et de quel paquet s'agit-il exactement?

47
SoftTimur

vous devez installer libgmp3-dev

dépend de votre linux

yum install  libgmp3-dev

apt-get install  libgmp3-dev
78
Vivek Goel

Sous OS X (si vous utilisez Homebrew), procédez comme suit:

brew install gmp
13
mpontillo

Dans Centos 6.5, c'est Sudo yum install gmp gmp-devel gmp-status.

Astuce: recherchez simplement le gmp dans yum et vérifiez également la commande yum provides.

4
Nishant

Parce qu'il peut arriver que vous ayez besoin de cette bibliothèque au format 32 bits pour une raison particulière (comme pour moi)

Vous devrez exécuter (sur un Ubuntu/Debian):

apt-get install  libgmp3-dev:i386

le suffixe :i386 derrière n'importe quelle bibliothèque en installera la version 32 bits.

3

J'ai fait beaucoup de recherches et finalement j'ai pu compiler la teinte avec les variables d'environnement suivantes:

    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

Pour moi, cela a fonctionné: -

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