Hello everyone,
I am following Tutorial 1 of Klee. I can successfully compile : ../../llvm-gcc-4.2-2.9-i686-linux/llvm-gcc-4.2-2.9-i686-linux/bin/llvm-gcc --emit-llvm -c -g get_sign.c But I cannot run : ../Release+Asserts/bin/klee get_sign.o Error : klee: error: Cannot find linker input '/home/alex/llvm2.9/llvm/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca' When I compiled LLVM and Klee I had llvm-gcc in my path. I found the same problem in the klee-dev history, but there it is suggested that I didn't had llvm-gcc in my path..... Therefore, do you think the solving of the problem can come from the link : *NOTE:* If you are installing the system of Ubuntu 12.04 (or similar), you might want to take a look at this message<http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923> . Or I have other problem? Thank you for your advice ! -- Best regards, Alexandru Ionut Diaconescu
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
