Hi, I am installing Klee with llvm-6.0 using this link http://klee.github.io/releases/docs/v2.0/build-llvm60/. I would like to install uclibc and the POSIX environment model. But when I ran *./configure --make-llvm-lib*, it produces the following errors * > > INFO: DIsabling assertions* * > > IINFO: Configuring for Debug build*
* > > INFO: Configuring for LLVM bitcode archive * * > > INFO: Using llvm-config at... None* * > > ERROR: llvm-config cannot be found* I tried this command : CC=/usr/bin/clang-6.0 ./configure --make-llvm-lib but I still got the same error. I make sure that llvm-config-6.0 and clang-6.0 are in the path. Please is there any other way to that? cordially -- Cedric Lontsi
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
