Please learn how to link with dynamic libraries... http://www.yolinux.com/TUTORIALS/LibraryArchives-StaticAndDynamic.html
On 5 October 2013 08:32, Saikat Dutta <[email protected]> wrote: > 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
