[LLVMdev] klee invalid llvmobj directory

[Donald Raikes]

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