[klee-dev] llvm configure problem

[ziying dai]

hello,
I follow the instructions on Getting Started page, but i encounter
problems. is there any special requirements to configure it?