Hi all; I am trying to run klee with llvm 2.4 and llvm-gcc 2.5 with OS ubuntu 8.10 (as given in http://klee.llvm.org/GetStarted.html), however i am getting an error, given below, when i am trying to build klee with make ENABLE_OPTIMIZED=1 :
llvm[2]: Compiling Debug.cpp for Release build llvm[2]: Compiling main.cpp for Release build main.cpp: In function ?llvm::Module* linkWithUclibc(llvm::Module*)?: main.cpp:1043: error: ?getNullValue? is not a member of ?llvm::Constant? main.cpp:1044: error: ?getNullValue? is not a member of ?llvm::Constant? main.cpp:1045: error: ?getNullValue? is not a member of ?llvm::Constant? main.cpp:1046: error: ?getNullValue? is not a member of ?llvm::Constant? Can anyone help me with this ? And also which llvm and llvm-gcc version should we use with the latest klee release ? Thanks.. -- Mehmet Fatih BOYACI UIllinois at Urbana-Champaign PhD Candidate, Computer Science -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090714/dff35ec7/attachment.html
