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

什么可能导致此错误？任何创意或帮助将不胜感激。谢谢！

4

1 回答 1

0

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

于 2014-12-06T13:49:43.877 回答