GMP support

[Chris Mungall-5]

Any hints for building Yap with GMP support on OS X?

I build using this:

        ./configure --enable-tabling  --with-gmp=/opt/local/

direct from the latest yap-6 git

output:

> ...
> checking for main in -lgmp... yes
> ...

I then do make and sudo make install

looks promising:

    ?- yap_flag(bounded,Y).
Y = false ? ;
no
    ?- yap_flag(min_integer,Y).
no

however:

    ?- X is 2**64, Y is X+1, Z is Y-X.
X = Y = 1.84467440737096e+19,
Z = 0.0 ?

I have found GMP in SWI to be most useful. See for example:

http://blipkit.wordpress.com/2009/05/19/swi-prolog-gmp-rocks/

Cheers
Chris

------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge  
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize  
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

[Chris Mungall-5]

On Jul 8, 2009, at 5:07 PM, Ricardo Rocha wrote:

>
> Hi Chris,
>
>> I build using this:
>>
>> ./configure --enable-tabling  --with-gmp=/opt/local/
>
> Note that Yap don't supports tabled evaluation for GMP terms.

Good to know, thanks.

I tried configure without tabling, and I still have the same issue.  
Any tips?

>
> Cheers,
> Ricardo Rocha
>
>


------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge  
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize  
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

[Vitor Santos Costa-2]

Hi Chris

Likely what happens is that you don't have a development installation
of gmp. You may be missing some include or library files. I'd suggest
checking if you're missing that.

In the worst case, what I did for the 64 bit version was to install
gmp from sources. It was pretty straightforward.

>> Note that Yap don't supports tabled evaluation for GMP terms.
>
> Good to know, thanks.
>

Hopefully, that will change :)

Cheer

------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge  
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize  
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users