Re: [Javabdd-devel] compiling BuDDy+JavaBDD on a 64bits architecture

[Fausto S. <fau...@un...>]

Thank you Mayur,

it worked perfectly!

Fausto

On Sat, 2008-11-01 at 14:21 -0700, Mayur Naik wrote:
> Fausto,
> 
> I too used to run into this problem quite often and I think I've
> figured how to fix it.  The compilation warnings you mention about
> integer to pointer cast point to the problem.  It is in file
> buddy_jni.c: