Hello, I built llvm on my debian 7.8 vm and installed and tested it and it is working just fine.\ Now I want to install klee, but each time I try to configure klee it tells me that it has an invalid llvmobj directory. I checked the llvm cod e out into a folder called src/llvm, and created a subfolder build from which I ran the cmake and make commands. When I try to configure klee I specify: ./configure --with-llvmsrc=/src/llvm --with-llvmobj=/src/llvm/build Why am I getting this error, and how can I correct the problem? Thanks in advance, Donald