[klee-dev] checking llvm build mode... configure: error: Invalid build mode:

[Alexandru Ionut Diaconescu]

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
-------------- next part --------------
HTML attachment scrubbed and removed