[klee-dev] Wllvm cannot find klee

[Saikat Dutta]

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?
-------------- next part --------------
HTML attachment scrubbed and removed