Is this error message related to the installation of gmp?

[Tie Cheng]

Hello all,

I am installing a library on my machine, and I have got this message:

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__ -g -O0 -UNDEBUG -I../mlgmpidl -I../apron
-I/usr/local/include -I/usr/local/include -I/usr/lib/ocaml
-I/usr/local/lib/ocaml -c -o scalar_caml_debug.o scalar_caml.c
In file included from scalar_caml.c:23:0:
../mlgmpidl/gmp_caml.h: In function ‘camlidl_mpfr_rnd_t_c2ml’:
../mlgmpidl/gmp_caml.h:49:3: error: ‘GMP_RND_MAX’ undeclared (first use in
this function)
../mlgmpidl/gmp_caml.h:49:3: note: each undeclared identifier is reported
only once for each function it appears in
../mlgmpidl/gmp_caml.h: In function ‘camlidl_mpfr_rnd_t_ml2c’:
../mlgmpidl/gmp_caml.h:52:24: error: ‘GMP_RND_MAX’ undeclared (first use in
this function)
make[1]: *** [scalar_caml_debug.o] Error 1

Does anyone know if it is related to the installation of gmp?

I have done the following to check if the gmp is well installed on my
machine, which is not understandable for me...

chengtie at ubuntu$ ldconfig -p | grep gmp
libgmpxx.so.4 (libc6) => /usr/lib/libgmpxx.so.4
libgmpxx.so (libc6) => /usr/lib/libgmpxx.so
libgmp.so.3 (libc6) => /usr/lib/libgmp.so.3
libgmp.so (libc6) => /usr/lib/libgmp.so

Could anyone tell me how to check if my gmp is well installed, and which
version it is?

Thank you very much!

Tie