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 <[email protected]> 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? > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
