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

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

Hi to everybody!

I'm trying to compile BuDDy+JavaBDD on an Intel Xeon QuadCore 64bits box
running linux and Java 1.6. I modified the makefile in order to specify
the 64bits requirement: -fPIC instead of -m32. I has to put -fPIC
everywhere, or otherwise it does compile for a missing symbol.
Compilation works almost fine now, with the exception that I get some
warnings about the translation between 32 bits integers and pointers.
The library libbuddy.so is generated, as well as the net/ hierarchy. I
can run the NQueens test with BuDDy. However, the RubiksCube test breaks
from time to time, with a segmentation fault at the setPair() method. It
seems that everything works, except for the BDDPairing class.

I attach the Makefile that I'm using.

What am I doing wrong?

Thanks,
  Fausto