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 스크립트에서 운이 없다.
이 오류의 원인은 무엇입니까? 창의적인 아이디어 나 도움을 많이 주시면 감사하겠습니다. 고맙습니다!
PATH는 관련이 없습니다. config.log를보고 그 테스트가 얼마나 실패했는지 확인하는 것은 어떻습니까? 또한 런타임시/usr/local/lib에있는 라이브러리를 찾도록 FreeBSD가 구성되어 있습니까? GMP가 직접 또는 freebsd의 패키지 관리자에 의해 설치 되었습니까? –
"./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
너희들은 내 영웅이야. 어쨌든, 수동으로/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'에서 저장소를 복제하는 것이 좋습니다. 고맙습니다!!! –