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

[ciccio f. <ke...@gm...>]

Hi to everybody!

I'm trying to compile BuDDy+JavaBDD on an Intel Core2 duo 64bits box
running linux (ubuntu 64 bit) and Java 1.6. I modified the makefile in
order to specify
the 64bits requirement: -fPIC instead of -m32.
I've tried to follow the explanation included in javabdd developer mailing
list, and so
i have modified the 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

and i have eliminated the #else part and only kept:

#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

now when i try to compile i got this error:

cc -DSPECIALIZE_RELPROD -DSPECIALIZE_AND -DSPECIALIZE_OR -DSMALL_NODES -O2
-fomit-frame-pointer  -I. -I/home/tommaso/lavoro/jdk1.6.0_22//include
-Ibuddy/src -Ibuddy/src/.. -Icudd-2.4.0/cudd -Icudd-2.4.0/epd
-Icudd-2.4.0/mtr -Icudd-2.4.0/st -Icudd-2.4.0/util -Ical-2.1
-I/home/tommaso/lavoro/jdk1.6.0_22//include/linux -c -o buddy_jni.o
buddy_jni.c
buddy_jni.c: In function ‘Java_net_sf_javabdd_BuDDyFactory_makePair0’:
buddy_jni.c:607: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:607: error: (Each undeclared identifier is reported only once
buddy_jni.c:607: error: for each function it appears in.)
buddy_jni.c:607: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDD_veccompose0’:
buddy_jni.c:1742: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1742: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDD_replace0’:
buddy_jni.c:1762: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1762: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set0’:
buddy_jni.c:1783: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1783: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set1’:
buddy_jni.c:1804: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1804: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set2’:
buddy_jni.c:1838: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1838: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set3’:
buddy_jni.c:1859: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1859: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_reset0’:
buddy_jni.c:1893: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1893: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_free0’:
buddy_jni.c:1911: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1911: error: expected ‘;’ before ‘pair’
make: *** [buddy_jni.o] Errore 1


What am I doing wrong?

Thanks,
  Tommaso