I don't think KLEE compiles with LLVM 2.8 (I tried it and couldn't get it to run), so you can stick to LLVM 2.7 and everything works fine.
M On 11 Jan 2011, at 02:07, yuyang liu wrote: > I met a problem when compiling klee against llvm-2.8. > > llvm-2.8 and llvm-gcc-4.2-2.8-i686-linux are used for llvm envrionment. > > command and error message are discribed as follows, > who knows how to fix it, please help me. > Thank you very much.
