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
