[klee-dev] 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,

-- 
Luiz Felipe Zafra Saggioro
-------------- next part --------------
HTML attachment scrubbed and removed