在FreeBSD上安装CVC4时找不到LibGMP

Question

我正在尝试从FreeBSD上的源代码编译CVC4，但是我在配置时遇到了打扰 - 即使共享对象显然位于共同路径中，也无法找到GMP： / p>

$> 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，但仍然没有从配置脚本中找到运气。

可能导致此错误的原因是什么？任何有创意的想法或帮助将不胜感激。谢谢！

Answer 1

虽然cvc4不在FreeBSD ports树中，cvc3是。{查看该端口的Makefile，您需要使用一些参数调用configure。我建议您也尝试使用cvc4。