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

[John W. <joe...@gm...>]

Did you forget to eliminate the outer "#if __STDC_VERSION__/#endif"?
That's the only thing I can think that would cause the compiler to think
that intptr_cast_type is undefined.

-John


On Thu, Mar 1, 2012 at 3:24 AM, ciccio formaggio <ke...@gm...> wrote:

> 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
>
>
>
> ------------------------------------------------------------------------------
> Virtualization & Cloud Management Using Capacity Planning
> Cloud computing makes use of virtualization - but cloud computing
> also focuses on allowing computing to be delivered as a service.
> http://www.accelacomm.com/jaw/sfnl/114/51521223/
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>
>