在FreeBSD上安装CVC4时找不到LibGMP

Question

我正在尝试从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

这里的...and是./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端口树中，但cvc3在。查看该端口的Makefile，您需要使用一些参数调用configure。我建议你也在cvc4上尝试一下。