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
ERROR:llvm-config cannot be found
I think I have done the previous step in the instruction such as build
llvm and build stp.
I am not sure why this error come.
Thank you.
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev