hi,everybody! I'm a first year master student. Today,i want to install klee. but when i complete the steps on the getting started page, the system echos "klee: not found". And I got some questions: 1. I have installed llvm-2.8, should i install llvm-2.7 over again as is mentioned in the getting started page? 2. when i configure klee, there are two choices,i don't know whether i should use "$ ./configure --with-llvm=path/to/llvm" or "$ ./configure --with-llvmsrc=path/to/llvm/src --with-llvmobj=path/to/llvm/obj"; 3. who can tell me what is the meaning of "build LLVM in place"; I hope someone can help me, and thanks for your help.
Best wishes sincerely yours Jacky tao
