[klee-dev] Error unable found llvm-config when build uclibc

Hi, I would like to install Build uclibc and the POSIX environment model. But, when I ran ./configure --make-llvm-lib, it produces errors like this: INFO:Disabling assertions INFO:Configuring for Debug build INFO:Configuring for LLVM bitcode archive INFO:Using llvm-config at...None

Re: [klee-dev] Error in configuring KLEE with Ubuntu 12.04 LTS 64-bit

On 2 September 2015 at 09:25, Giuseppe Petracca wrote: > Hi, > I am currently encountering the following error while configuring KLEE > > http://stackoverflow.com/questions/32337845/klee-configuration-error?noredirect=1#comment52581865_32337845 I posted an answer of