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
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,