[klee-dev] make with current llvm in svn

[Daniel Dunbar]

This is an LLVM API change which klee hasn't been updated for yet. My
recommendation is to use klee with LLVM 2.6, I will be updating the
web pages to reflect that shortly.

 - Daniel

On Wed, Oct 21, 2009 at 2:49 PM, Shaul Kedem <shaul.kedem at gmail.com> wrote:
> Hi,
>  running make with current llvm compiled according to the instructions
> at http://klee.llvm.org/GetStarted.html (note that I have not checked
> the instructions in the link) I get:
> llvm[2]: Compiling Executor.cpp for Release build
> Executor.cpp: In member function ‘void
> klee::Executor::executeInstruction(klee::ExecutionState&,
> klee::KInstruction*)’:
> Executor.cpp:1843: error: ‘Malloc’ is not a member of ‘llvm::Instruction’
> make[2]: *** [/Users/shul/Workspace/llvm/klee/lib/Core/Release/Executor.o]
> Error 1
> make[1]: *** [Core/.makeall] Error 2
> make: *** [all] Error 1
>
>
> Anyone else seeing this?
>
> I am using mac os X 10.6,
>
> Regards,
> Shaul
> _______________________________________________
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
>