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
