Homepage says that I need llvm-gcc to compile programs that KLEE can execute. It seems that llvm-gcc is used to compile C programs to LLVM bitcode. Can I use Clang to do that instead? If so, how can I use Clang instead of llvm-gcc?
Currently I get: /home/tinuviel/llvm/llvm/Makefile.rules:982: Bytecode libraries require llvm-gcc which could not be found **** -- Seo Sanghyeon
