Thank you Cristian, now Klee is successfully build. On Tue, Jan 29, 2013 at 11:23 AM, Cristian Cadar <[email protected]>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 >> [email protected] >> https://mailman.ic.ac.uk/**mailman/listinfo/klee-dev<https://mailman.ic.ac.uk/mailman/listinfo/klee-dev> >> >> > ______________________________**_________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/**mailman/listinfo/klee-dev<https://mailman.ic.ac.uk/mailman/listinfo/klee-dev> > -- Best regards, Alexandru Ionut Diaconescu
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
