2011-09-19 3 views
1

나는 도서관을 설치하고 make 후 오류 메시지가 도착하고 있습니다 :, GMP를 컴파일 오류 메시지, OCaml의

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/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 

사람이 무슨 일이 있었는지 알고 있나요을? 어쩌면 그것은 GMP의 versioni와 관련이 있습니다. 누군가 그것을 확인하는 방법을 알고 있습니까?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 

/usr/local/include/ 포함 :

EDIT1 대단히 감사합니다 gmp.h mpf2mpfr.h mpfr.h, 그리고 /usr/local/lib/alt-ergo libgmp.a libgmp.so libgmp.so.10.0.2 libmpfr.la libmpfr.so.4 ocaml python2.7 coq libgmp.la libgmp.so.10 libmpfr.a libmpfr.so libmpfr.so.4.0.1 python2.6 site_ruby

이 사람이 내 컴퓨터에 설치되어있는 GMP의 버전을 말해 줄 수 포함?

+0

'ldconfig -p'는 라이브러리의 버전을 결정하는 데 사용할 수 있습니다 - 저는 리눅스를 사용하고 있다고 가정합니다. 나는 OSX에서 이에 상응하는 것에 대해 확신 할 수는 없지만 가능한 명령을 알게되었으므로 OSX와 리눅스에서 동의어 가이드가 있다고 확신한다. – nlucaroni

+0

@nlucaroni, 도와 주셔서 감사합니다 ... 저는 Linux를 사용하고 있습니다. 초기 게시물을 편집 했으니 까? – SoftTimur

+1

'mlgmpidl'은 어디서 났습니까? 그 버전은 무엇입니까? 온라인에서 찾은 소스의'gmp_caml.h'에있는'GMP_RND_MAX'에 대해서는 아무 것도 볼 수 없습니다. – nlucaroni

답변

2

libgmp-dev의 버전이 사용중인 mlgmpidl 버전보다 오래된 것일 수 있습니다. 이는 mlgmpidl이 정의되지 않은 항목을 묻는다는 것을 설명합니다.