1

FreeBSD でソースからCVC4をコンパイルしようとしていますが、構成時に問題が発生しています。共有オブジェクトが明らかに共通パスにあるにもかかわらず、GMP が見つかりません。

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

その後、少しグーグルで調べたところ、関連する可能性があると思われる ABI エラーについて説明している記事を見つけました。次に、ソースから GMP をコンパイルしましたが、configure スクリプトからはうまくいきませんでした。

このエラーの原因は何ですか? 創造的なアイデアや助けをいただければ幸いです。ありがとうございました！

4

1 に答える 1

0

cvc4FreeBSD ポート ツリーにはありませんが、ありますcvc3。そのポートのMakefileconfigureを見ると、いくつかの引数を指定して呼び出す必要があります。それも試してみることをお勧めしますcvc4。

于 2014-12-06T13:49:43.877 に答える