It looks like you're mixing LLVM 2.7 together with llvm-gcc 2.8. I was under the impression that you must use the same versions (everything builds cleanly when using LLVM 2.7). Also remember that you want to have llvm-gcc in your path before you ./configure LLVM.
M On 11 Jan 2011, at 00:07, yuyang liu wrote: > I meet a failure when compiling klee in Linux, and got below errors. > > How can I fix it?
