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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
