[klee-dev] Wllvm cannot find klee

[Daniel Liew]

Please learn how to link with dynamic libraries...

http://www.yolinux.com/TUTORIALS/LibraryArchives-StaticAndDynamic.html

On 5 October 2013 08:32, Saikat Dutta <saikatdutta.pro2011 at gmail.com> wrote:
> The command doesnt work... shows errors:
> saikat at saikat-laptop:~/Downloads/bc_gprof/bc$ wllvm  -g -O0 -Wall
> -funsigned-char -I/home/saikat/Downloads/kleesvn/include
> -L/home/saikat/Downloads/kleesvn/Release+Asserts/lib -o bc  main.o bc.o
> scan.o execute.o load.o storage.o util.o global.o ../lib/libbc.a -lfl
> -Wl,-rpath=/home/saikat/kleesvn/Release+Asserts/lib -lkleeRunTest
> /usr/bin/ld: cannot find -lkleeRunTest
> collect2: ld returned 1 exit status
>
>
>
> On Sat, Oct 5, 2013 at 3:38 AM, Daniel Liew <daniel.liew at imperial.ac.uk>
> wrote:
>>
>> If you run the command I gave you and then run make again make should
>> continue past building bc because it's already been built (that's
>> whole point of make!).
>>
>> I'll reiterate what I said earlier though:
>>
>> "As for making the build system set the right flags, you are on your own."
>>
>> On 4 October 2013 11:58, Saikat Dutta <saikatdutta.pro2011 at gmail.com>
>> wrote:
>> > Hi,
>> > I am using klee over multiple file application. How to do it at make or
>> > configure step?
>> >
>> >
>> > On Fri, Oct 4, 2013 at 3:38 PM, Daniel Liew <daniel.liew at imperial.ac.uk>
>> > wrote:
>> >>
>> >> You can try linking to "libkleeRunTest.so" in KLEE's binary build
>> >> folder.
>> >>
>> >> You need something like
>> >>
>> >> wllvm  -g -O0 -Wall -funsigned-char  -I /path/to/klee_source/include
>> >> -o bc  main.o bc.o scan.o execute.o load.o storage.o util.o global.o
>> >> ../lib/libbc.a -lfl -L /path/to/klee_build/Release+Asserts/lib
>> >> -Wl,-rpath=/path/to/klee_build/Relase+Asserts/lib -lkleeRunTest
>> >>
>> >> And your program using klee_make_symbolic should have #include
>> >> <klee/klee.h> in it somewhere.
>> >>
>> >> As for making the build system set the right flags, you are on your
>> >> own.
>> >>
>> >> On 4 October 2013 08:03, Saikat Dutta <saikatdutta.pro2011 at gmail.com>
>> >> wrote:
>> >> > Hi,
>> >> > I was executing bc-1.06 using the following steps:
>> >> > CC="wllvm" CFLAGS="-g -O0" ./configure
>> >> > make CC="wllvm"
>> >> > It results in the following error:
>> >> > wllvm  -g -O0 -Wall -funsigned-char  -o bc  main.o bc.o scan.o
>> >> > execute.o
>> >> > load.o storage.o util.o global.o ../lib/libbc.a -lfl
>> >> > main.o: In function `main':
>> >> > /home/saikat/Downloads/bc_gprof/bc//main.c:163: undefined reference
>> >> > to
>> >> > `klee_make_symbolic'
>> >> > /home/saikat/Downloads/bc_gprof/bc//main.c:164: undefined reference
>> >> > to
>> >> > `klee_make_symbolic'
>> >> > /home/saikat/Downloads/bc_gprof/bc//main.c:167: undefined reference
>> >> > to
>> >> > `klee_make_symbolic'
>> >> > /home/saikat/Downloads/bc_gprof/bc//main.c:168: undefined reference
>> >> > to
>> >> > `klee_make_symbolic'
>> >> > /home/saikat/Downloads/bc_gprof/bc//main.c:169: undefined reference
>> >> > to
>> >> > `klee_make_symbolic'
>> >> > main.o:/home/saikat/Downloads/bc_gprof/bc//main.c:170: more undefined
>> >> > references to `klee_make_symbolic' follow
>> >> > collect2: ld returned 1 exit status
>> >> > make[2]: *** [bc] Error 1
>> >> > make[2]: Leaving directory `/home/saikat/Downloads/bc_gprof/bc'
>> >> > make[1]: *** [all-recursive] Error 1
>> >> > make[1]: Leaving directory `/home/saikat/Downloads/bc_gprof'
>> >> > make: *** [all-recursive-am] Error 2
>> >> >
>> >> >
>> >> > How do i include klee's library during make step?
>> >> >
>> >
>> >
>
>