[Soot-list] Problems running Paddle

[Hamid A. Toussi]

Hello Ondrej,
> I am curious why you are using your own script instead of the Jedd ant
> build file, which should be able to do this for you. Is there something
> in the ant file that does not work that I need to fix?
>

I was making some changes to BuDDy so I needed to generate new
wrappers and build a new library. I looked at jedd as an example to
find out how to invoke BuDDy from Java. I think the ant file was fine
and functional.

Hamid

> On Fri, Nov 11, 2011 at 04:36:46PM +0330, Hamid A. Toussi wrote:
>> 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
>>
>>
>>