Hi Seo, In theory clang should work just as well as llvm-gcc, however the Makefile logic we use to build bytecode libraries is inherited from LLVM and predates clang, and no one has made it configurable yet. For the most part it should be a matter of substituting clang for llvm-gcc, with some extra autoconf magic to select the right default & provide options to choose llvm-gcc or clang.
For the time being, I recommend just grabbing an llvm-gcc binary distribution, or I can give you some pointers if you would be interested in improving the Makefiles. - Daniel On Sun, Jun 21, 2009 at 8:18 PM, Seo Sanghyeon<sanxiyn at gmail.com> wrote: > 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 > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
