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

[Cristian Cadar]

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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>