Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Where to find "gmp.h"?

Tags:

c

makefile

I am installing a library, and got this error message:

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 

So the problem is that it can not find gmp.h, does anyone know where this file is located, and how to make it found by the installer? By the way, at the moment my Makefile points mainly to /usr and /usr/local...

Edit1: After installing libgmp3-dev as suggested, the current error message is ../num/num.h:16:18: fatal error: mpfr.h: No such file or directory, does anyone know which package it is about?

Edit2: I have installed MPFR by following this page, and that did help, now the error message is gmp_caml.c:17:33: fatal error: caml/camlidlruntime.h: No such file or directory, could anyone help?

Edit3: I have done apt-file search camlidlruntime, and it returns camlidl: /usr/lib/ocaml/caml/camlidlruntime.h, but there is no camlidlruntime.h in my folder /usr/lib/ocaml/caml/, how could I check if I have installed dev package of MPFR? and which package it is exactly about?

like image 523
SoftTimur Avatar asked Sep 08 '11 16:09

SoftTimur


People also ask

Where is GMP installed?

Where did GMP install to? usually make will create some directory like bin or build where it will put the compiled binaries. In case of make install the files by default should be in /usr/local/bin etc.


1 Answers

you need to install libgmp3-dev

depends on your linux

yum install  libgmp3-dev  apt-get install  libgmp3-dev 
like image 73
Vivek Goel Avatar answered Sep 23 '22 17:09

Vivek Goel