Hi Peter, The values of LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR are as you said. I installed KLEE before and removed all relevant environment variables of it already. One thing I should mention is that to compile llvm and clang, I had to change some environment variables as indicated in http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-February/059905.html. Does it cause the errors?
Thanks, On Mon, Oct 28, 2013 at 12:43 PM, Peter Collingbourne <[email protected]>wrote: > On Mon, Oct 28, 2013 at 10:46:48AM +0800, Loi Luu wrote: > > Hi, > > > > I follow compilation instruction of Daniel in this message > > http://www.mail-archive.com/[email protected]/msg01034.html and > get > > compilation error in the last step (compile KLEE-FP). Can you take a look > > and let me know why I got these errors. I attached the log of make > command > > in this email. > > It looks like the code for the wrong version of LLVM is being selected. > Can you check the values of LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR > in include/klee/Config/config.h in your build directory? They should > be 3 and 1 respectively. > > It may also be the case that a file with the same name is elsewhere on > your include path, in particular in the source directory if you have done > an in-tree build before. > > Thanks, > -- > Peter > -- Loi, Luu The (Mr.) RA at Security Lab, SoC, NUS
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
