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!

[Cristian Cadar]

Hi, it's just, e.g., --with-llvm-build-mode=Release+Asserts.

Best,
Cristian

Post by 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.
.....................................
/home/alex/llvm2.9/llvm/*/bin/llvm-config
/home/alex/llvm2.9/llvm/Release+Asserts/bin/llvm-config
/home/alex/llvm2.9/llvm/Release+Debug/bin/llvm-config
./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
..................
Thank you for your answers!
--
Best regards,
Alexandru Ionut Diaconescu
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[Alexandru Ionut Diaconescu]

Thank you Cristian, now Klee is successfully build.

Hi, it's just, e.g., --with-llvm-build-mode=**Release+Asserts.
Best,
Cristian

Post by 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.
..............................**.......
/home/alex/llvm2.9/llvm/*/bin/**llvm-config
/home/alex/llvm2.9/llvm/**Release+Asserts/bin/llvm-**config
/home/alex/llvm2.9/llvm/**Release+Debug/bin/llvm-config
./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
..................
Thank you for your answers!
--
Best regards,
Alexandru Ionut Diaconescu
______________________________**_________________
klee-dev mailing list
https://mailman.ic.ac.uk/**mailman/listinfo/klee-dev<https://mailman.ic.ac.uk/mailman/listinfo/klee-dev>

______________________________**_________________
klee-dev mailing list
https://mailman.ic.ac.uk/**mailman/listinfo/klee-dev<https://mailman.ic.ac.uk/mailman/listinfo/klee-dev>