2014-09-10 15 views
1

FreeBSD에서 소스로 CVC4을 컴파일하려고하는데 구성 시간에 딸꾹질을하고 있습니다 - 공유 객체가 공통 경로에 명확하게 있음에도 불구하고 GMP를 찾을 수 없습니다. :FreeBSD에 CVC4를 설치할 때 LibGMP를 찾을 수 없습니다.

$> ls /usr/local/lib | grep gmp 
libgmp.a 
libgmp.la 
libgmp.so 
libgmp.so.10 
libgmp.so.10.1.3 
libgmpxx.a 
libgmpxx.la 
libgmpxx.so 
libgmpxx.so.4 
libgmpxx.so.4.3.3 

$> echo $PATH 
/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin: \ 
/usr/local/bin:/root/bin:/usr/local/lib 

... 여기가 ./configure의 출력입니다 : 그 후

... 
checking how to hardcode library paths into programs... immediate 
checking for __gmpz_init in -lgmp... no 
configure: error: GNU MP (libgmp) not found, see http://gmplib.org/ 

가, 나는 인터넷 검색을 조금했고, an article describing an ABI error that I thought could be related을 발견했다. 나는 소스에서 GMP를 컴파일했지만 여전히 configure 스크립트에서 운이 없다.

이 오류의 원인은 무엇입니까? 창의적인 아이디어 나 도움을 많이 주시면 감사하겠습니다. 고맙습니다!

+2

PATH는 관련이 없습니다. config.log를보고 그 테스트가 얼마나 실패했는지 확인하는 것은 어떻습니까? 또한 런타임시/usr/local/lib에있는 라이브러리를 찾도록 FreeBSD가 구성되어 있습니까? GMP가 직접 또는 freebsd의 패키지 관리자에 의해 설치 되었습니까? –

+0

"./configure LDFLAGS = '- L/usr/local/lib /'"을 시도하십시오. 그게 작동하면 Marc가 맞을 것이고 "/ usr/local/lib /"또는 libgmp.a가 ld에 의해 제대로 발견되지 않을 것입니다. 그렇지 않은 경우에는 전체 "./configure"명령과 "builds/config.log"파일을 제공해야합니다. config.log 파일은 "builds/x86_64-unknown-linux-gnu/debug/config.log"와 같은 디렉토리 (예 : 아키텍처 및 구성 이름)에있을 수도 있습니다. 또한 [email protected]로 전자 메일을 보내면 나 또는 다른 CVC4 개발자가 심층적 인 질문을 할 수 있습니다. – Tim

+0

너희들은 내 영웅이야. 어쨌든, 수동으로/usr/local/lib를 추가하지 못했습니다. 여기에 제 [configure] (https://github.com/athanclark/freebsd-cvc4/blob/master/configure)와 [config.log] (https : //github.com/athanclark/freebsd-cvc4/blob/master/config.log) 파일. 고마워요, 당신들은 생명의 은인들입니다. configure 파일은 거의 메가 바이트이므로,'https : // github.com/athanclark/freebsd-cvc4'에서 저장소를 복제하는 것이 좋습니다. 고맙습니다!!! –

답변

0

cvc4은 FreeBSD 포트 트리에 없지만 cvc3입니다. 해당 포트의 Makefile을보고 싶다면 configure으로 전화해야합니다. 나는 당신이 cvc4과 함께 그것을 시도하는 것이 좋습니다 것입니다.