[klee-dev] Wllvm cannot find klee

[Daniel Liew]

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?
>