Problems while building Klee with LLVM 3.4

[Luiz Felipe]

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,

[Cristian Cadar]

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

Post by Luiz Felipe
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
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev