I'm sorry to ask a question that was already asked but I cannot figure out
what I'm missing.
I'm recompiling libpng and I'm using klee_make_symbolic in the main
function as a test. The ./configure goes well but the make does not. I have
changed the Makefile and I have an error like this:
/bin/bash ./libtool --tag=CC --mode=link wllvm -g -O2
-Wl,-rpath=/home/klee/klee_build/klee/lib/ -o pngfix contrib/tools/pngfix.o
libpng16.la -lm -lz -lm -lkleeRunTest
libtool: link: wllvm -g -O2 -Wl,-rpath=/home/klee/klee_build/klee/lib/ -o
.libs/pngfix contrib/tools/pngfix.o -L/home/klee/klee_build/klee/lib/*.*
./.libs/libpng16.so -lz -lm -lkleeRunTest
/usr/bin/ld: cannot find -lkleeRunTest
I have seen the libkleeRuntest.so in the /home/klee/klee_build/klee/lib/
I'm doing all using the Docker image...
Can you suggest me how to solve it please?
klee-dev mailing list