Works now, thanks. On Tue, Jul 14, 2009 at 3:30 AM, Daniel Dunbar <daniel at zuster.org> wrote:
> You probably need to update klee, specifically to revision 75626 or later. > > - Daniel > > On Tue, Jul 14, 2009 at 1:25 AM, M. Fatih BOYACI<fboyaci at gmail.com> wrote: > > Thanks Daniel and Cristian; > > i tried with the current version of llvm (svn co > > http://llvm.org/svn/llvm-project/llvm/trunk llvm ) > > and llvm-gcc4.2-2.5. However still getting same error: > >> 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? > > On Tue, Jul 14, 2009 at 2:56 AM, Daniel Dunbar <daniel at zuster.org> > wrote: > >> > >> Hi Mehmet, > >> > >> Please update to top-of-tree llvm & klee and try again. > >> > >> The version of llvm-gcc shouldn't matter, as far as I know klee should > >> work fine with the llvm-gcc release with LLVM 2.5. > >> > >> - Daniel > >> > >> On Mon, Jul 13, 2009 at 11:27 PM, M. Fatih BOYACI<mboyaci2 at illinois.edu > > > >> wrote: > >> > 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 > >> > > >> > _______________________________________________ > >> > klee-dev mailing list > >> > klee-dev at keeda.stanford.edu > >> > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >> > > >> > > > > > > > > > -- > > Mehmet Fatih BOYACI > > UIllinois at Urbana-Champaign > > PhD Candidate, Computer Science > > > -- 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/f79d7f71/attachment.html
