[klee-dev] llvm-config cannot be found when build uclibc in step 4

Frank Busse f.busse at imperial.ac.uk
Mon Jun 22 19:35:53 BST 2020


Hi,


On Mon, 22 Jun 2020 17:29:55 +0000
Cedric Lontsi <cedriclontsi at gmail.com> wrote:

> 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?

./configure --help shows more options, e.g. --with-llvm-config and
--with-cc to set the paths.


Kind regards,

Frank



More information about the klee-dev mailing list