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 <[email protected]>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 <[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
