[klee-dev] make with current llvm in svn

[Shaul Kedem]

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