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

[Hooman]

Hi,

An easy fix is to do a "sudo apt install llvm". By doing this, you will 
have llvm-config and other required tools as a symbolic link pointing to 
llvm-config-6.0 and so on.

Hope it helps.


Cheers,

Hooman

On 2020-06-22 19:29, Cedric Lontsi wrote:
> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
-------------- next part --------------
HTML attachment scrubbed and removed