如何在freebsd上启用GMP？答案

【问题标题】：How to enable GMP on freebsd?如何在freebsd上启用GMP？
【发布时间】：2013-01-13 00:28:23
【问题描述】：

我安装了 swi-prolog 如下：

$./configure --prefix=/home/***/swi-prolog/ --enable-gmp
$gmake && gmake check && gmake install

however, it still reports no GMP syupport:

?- random(33).
Warning: This version of SWI-Prolog is not compiled with GMP support.
Warning: Floating point random operations are not supported.
ERROR: is/2: Arithmetic: `random_float/0' is not a functionenter code here

$find /usr/local/lib -name "libgmp*"                                  
/usr/local/lib/libgmp.so.10
/usr/local/lib/libgmp.so
/usr/local/lib/libgmp.la
/usr/local/lib/libgmpxx.so.6
/usr/local/lib/libgmpxx.so
/usr/local/lib/libgmpxx.la
/usr/local/lib/libgmp.a
/usr/local/lib/libgmpxx.a

我使用的是 FreeBSD，swi-prolog 是稳定版http://www.swi-prolog.org/download/stable/src/pl-6.2.6.tar.gz。

欢迎提出任何建议！

【问题讨论】：

我看到 from docs 需要 GMP-dev。你确定你明白了吗？ --enable-gmp 是配置时默认找到合适的包
locate libgmp. 给你什么？我在 Ubuntu 12.04 上得到 .../libgmp.so.10.0.2/
@z_axis：你成功了吗？

标签： installation swi-prolog

【解决方案1】：

通过设置 CFLAGS 和 LDFLAGS 来修复：

$echo $LDFLAGS                                       
-L/usr/local/lib
$echo $CFLAGS                                       
-I/usr/local/include
$./configure --prefix=/home/sw2wolf/swi-prolog/ --enable-gmp
$gmake && gmake install

$ldd ~/swi-prolog/lib/swipl-6.3.8/bin/i386-freebsd9.0/swipl                                                                                 
**libgmp.so.10** => /usr/local/lib/libgmp.so.10 (0x2815b000)
libexecinfo.so.1 => /usr/local/lib/libexecinfo.so.1 (0x281b9000)
librt.so.1 => /usr/lib/librt.so.1 (0x281c4000)
libreadline.so.6 => /usr/local/lib/libreadline.so.6 (0x281ca000)
libncursesw.so.5.9 => /usr/local/lib/libncursesw.so.5.9 (0x281ff000)
libm.so.5 => /lib/libm.so.5 (0x28229000)
libthr.so.3 => /lib/libthr.so.3 (0x28243000)
libc.so.7 => /lib/libc.so.7 (0x28264000)
libncurses.so.8 => /lib/libncurses.so.8 (0x28383000)
libtinfow.so.5.9 => /usr/local/lib/libtinfow.so.5.9 (0x283c3000)

问候！

【讨论】：