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

[Mayur N. <may...@gm...>]

John,

I've noticed (e.g. from users of my Chord tool which is built on top
of bddbddb) that people run into a lot of problems building and
running JavaBDD on 64-bit machines.  Given that such machines are
getting increasingly common, it would be great if you could provide
pre-compiled binaries for such machines, just like you've provided the
32-bit ones.

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:

#if __STDC_VERSION__ >= 199901
  #include <inttypes.h>
  #if INTPTR_MAX >= INT_MAX
    typedef intptr_t intptr_cast_type;
  #else /* no intptr_t, or intptr_t smaller than `int' */
    typedef intmax_t intptr_cast_type;
  #endif
#else
  #include <stddef.h>
  #include <limits.h>
  #if PTRDIFF_MAX >= INT_MAX
    typedef ptrdiff_t intptr_cast_type;
  #else
    typedef int intptr_cast_type;
  #endif
#endif

If you eliminate the #else part and only keep:

#include <inttypes.h>
#if INTPTR_MAX >= INT_MAX
  typedef intptr_t intptr_cast_type;
#else /* no intptr_t, or intptr_t smaller than `int' */
  typedef intmax_t intptr_cast_type;
#endif

and then recompile everything, then I think you should be fine.  Let
me know if this solution works for you.  It worked for me but I use an
older (and faster) version of JavaBDD.

-- Mayur


On Thu, Oct 30, 2008 at 7:20 AM, Fausto Spoto <fau...@un...> wrote:
> Thank you for the hint, but those libraries are only linked under
> Windows while I'm compiling under Linux, so the problem must be
> elsewhere!
>
> Fausto
>
> On Wed, 2008-10-29 at 17:50 +0100, Florent Teichteil wrote:
>> It seems you're still linking to 32-bits libraries:
>> > LINKFLAGS = -MLd -LDd -Zi /link /libpath:$(JDK_ROOT)/lib user32.lib
>> > gdi32.lib
>>
>
>
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>