[Soot-list] Problems running Paddle

[Hamid A. Toussi]

Hello Tillman,

I have found my original script that build the libjeddbuddy.so. In
particular, we don't need any C++ file so using GNU C++ compiler (g++)
is unnecessary. The following should be straightforward. You don't
need to generate the wrappers since they are already in the jedd
distribution.

You don't need to use swig as long as you stick with  the current
jedd's interface since the wrappers are already generated.

buddy_cfiles="bddio.c bddop.c bvec.c cache.c fdd.c imatrix.c kernel.c \
       pairs.c prime.c reorder.c tree.c"

jedd_files="jedd-0.4/runtime/generated/jbuddy_wrap.c
jedd-0.4/runtime/csrc/jbuddy.c"


gcc -c -fPIC -Wall -g3 $buddy_cfiles $jedd_files -I./
-Ijedd-0.4/runtime/generated -Ijedd-0.4/runtime/csrc
-I/home/hamid/ibm-java-x86_64-60/include
-I/home/hamid/ibm-java-x86_64-60/include/linux


objs="bddio.o bddop.o bvec.o cache.o fdd.o imatrix.o kernel.o \
       pairs.o prime.o reorder.o tree.o jbuddy_wrap.o jbuddy.o"
ld -G $objs -o libjeddbuddy.so



-- 
Hamid A. Toussi
http://hamid2c.github.com/