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?
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, 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.
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.
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"
Pour moi, cela a fonctionné: -
apt-get install libgmp3-dev (Might vary in linux distro; this is for Ubuntu)
pip3 install gmpy --user