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 -Wssortingct-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 , est-ce que quelqu’un sait où se trouve ce fichier et comment le trouver par l’installateur? Au fait, mon Makefile pointe actuellement vers /usr et /usr/local

Edit1 : Après avoir installé 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 ne sait de quel paquet il s’agit?

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

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

vous devez installer libgmp3-dev

dépend de votre linux

 yum install libgmp3-dev apt-get install libgmp3-dev 

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

 brew install gmp 

Dans Centos 6.5, il s’agit de sudo yum install gmp gmp-devel gmp-status .

ProTip: Il suffit de rechercher le gmp dans yum et de vérifier la commande yum fournit.

Parce qu’il peut arriver que vous ayez besoin de cette bibliothèque au format 32 bits pour une raison particulière (comme c’était le cas pour moi)

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

 apt-get install libgmp3-dev:i386 

le suffixe :i386 derrière toute bibliothèque installera la version 32 bits de celle-ci.

J’ai fait beaucoup de recherches et finalement j’ai pu comstackr une 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"