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

[Alexandru Ionut Diaconescu]

Thank you Cristian, now Klee is successfully build.

On Tue, Jan 29, 2013 at 11:23 AM, Cristian Cadar <c.cadar at imperial.ac.uk>wrote:

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



-- 
Best regards,
Alexandru Ionut Diaconescu
-------------- next part --------------
HTML attachment scrubbed and removed