Hi, it's just, e.g., --with-llvm-build-mode=Release+Asserts.
Best, Cristian On 29/01/13 09:31, Alexandru Ionut Diaconescu wrote:
Hello everyone, I was successfully able to install Klee on my LLVM 3.1 environment, but it's not working properly. Then, I tried to install it on LLVM 2.9. I have an error due configuration. Configuration comamnds : ..................................... /home/alex/llvm2.9/llvm/*/bin/llvm-config OUTPUT is : /home/alex/llvm2.9/llvm/Release+Asserts/bin/llvm-config /home/alex/llvm2.9/llvm/Release+Debug/bin/llvm-config So I tried both of them, same result: ./configure --with-llvm=/home/alex/llvm2.9/llvm/ --with-llvm-build-mode=/home/alex/llvm2.9/llvm/Release+Asserts/bin/llvm-config --with-stp=/home/alex/llvm2.9/llvm/stp/ -with-uclibc=/home/alex/llvm2.9/llvm/klee-uclibc-0.02-i386/ --enable-posix-runtime ./configure --with-llvm=/home/alex/llvm2.9/llvm/ --with-llvm-build-mode=/home/alex/llvm2.9/llvm/Release+Debug/bin/llvm-config --with-stp=/home/alex/llvm2.9/llvm/stp/ -with-uclibc=/home/alex/llvm2.9/llvm/klee-uclibc-0.02-i386/ --enable-posix-runtime The error is : .................. checking llvm build mode... configure: error: Invalid build mode: Thank you for your answers! -- Best regards, Alexandru Ionut Diaconescu _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev