it-swarm.it

Dove trovare "gmp.h"?

Sto installando una libreria e ho ricevuto questo messaggio di errore:

[email protected]$ 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

Quindi il problema è che non riesce a trovare gmp.h, qualcuno sa dove si trova questo file e come farlo trovare dall'installer? A proposito, al momento il mio Makefile punta principalmente a /usr e /usr/local...

Modifica1 : dopo l'installazione libgmp3-dev come suggerito, il messaggio di errore corrente è ../num/num.h:16:18: fatal error: mpfr.h: No such file or directory, qualcuno sa di quale pacchetto si tratta?

Modifica2 : Ho installato MPFR seguendo questo pagina , e questo ha aiutato, ora il messaggio di errore è gmp_caml.c:17:33: fatal error: caml/camlidlruntime.h: No such file or directory, qualcuno potrebbe aiutare?

Modifica3 : Ho fatto apt-file search camlidlruntime e restituisce camlidl: /usr/lib/ocaml/caml/camlidlruntime.h, ma non esiste camlidlruntime.h nella mia cartella /usr/lib/ocaml/caml/, come posso verificare se ho installato dev package of MPFR? e di quale pacchetto si tratta esattamente?

47
SoftTimur

devi installare libgmp3-dev

dipende dal tuo linux

yum install  libgmp3-dev

apt-get install  libgmp3-dev
78
Vivek Goel

Su OS X (se stai usando Homebrew), fai come segue:

brew install gmp
13
mpontillo

In Centos 6.5 è Sudo yum install gmp gmp-devel gmp-status.

Suggerimento: basta cercare il file gmp in yum e anche controllare yum fornisce il comando.

4
Nishant

Perché può succedere che hai bisogno di questa libreria in formato a 32 bit per qualsiasi motivo particolare (come è stato per me)

Dovrai eseguire (su Ubuntu/Debian):

apt-get install  libgmp3-dev:i386

il suffisso :i386 dietro qualsiasi libreria installerà la versione a 32 bit di essa.

3

Ho fatto molte ricerche e alla fine ho potuto compilare la tonalità con le seguenti variabili d'ambiente:

    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

Per me questo ha funzionato: -

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