Re: [klee-dev] klee-uclibc installation fails

2016-08-18 Thread Dan Liew
On 17 August 2016 at 17:03, Reza Ahmadi wrote: > Hi, > > I had installed klee (with llvm 2.9) without klee-uclibc. Now I want to > re-install klee including klee-uclibc. When I try to configure it complains > that I need to install ncurses. > > I installed ncurses using this, but still recieve tha

[klee-dev] klee-uclibc installation fails

2016-08-17 Thread Reza Ahmadi
Hi, I had installed klee (with llvm 2.9) without klee-uclibc. Now I want to re-install klee including klee-uclibc. When I try to configure it complains that I need to install ncurses. I installed ncurses using this, but still recieve that error message. sudo apt-get install libncurses-dev Here