Dear all: When I download and build the llvm-2.9, I encounter the following configuration error message:
"configure: error: Invalid llvm-g++. Use --with-llvmgxx when --with-llvmgcc is used" I have added the llvm-gcc into my path. I don't know how to fix this problem. Is there anyone could help me on this issue? Best regards Changjiang
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
