The command doesnt work... shows errors: saikat@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 <[email protected]>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 <[email protected]> > 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 <[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
