[klee-dev] /usr/bin/ld: cannot find -lkleeRunTest

[Alberto Barbaro]

Hi all,
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
-L/home/klee/klee_build/klee/lib/
-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/
path...

I'm doing all using the Docker image...

Can you suggest me how to solve it please?

Thanks,
A
-------------- next part --------------
HTML attachment scrubbed and removed