KLEE does not work with LLVM 3.4 yet; in fact, the only supported
version is 2.9, as mentioned on the website.
I hope we'll have full support for LLVM 3.3 soon; Martin Nowack recently
wrote a series of patches, which should make it into the codebase soon.
You can take a look at https://github.com/ccadar/klee/pull/17 for details.
Cristian
On 18/09/13 14:08, Luiz Felipe wrote:
I'm trying to build klee-uclibc-0.02-x64 with LLVM 3.4 prior to building
Klee itself. Since klee-uclibc relies on LLVM Makefile to find some
paths and LLVM 3.4 doesn't look for LLVM-GCC, I'm experiencing problems
building uclibc. Clang is already installed and the path is configured
so I can run it in a terminal without problems.
Is that a way I can proceed building Klee and its dependencies with LLVM
3.4/Clang without LLVM-GCC?
Regards,
--
Luiz Felipe Zafra Saggioro
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
