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

[Cedric Lontsi]

  Hi,
Thank you, I do as you suggest and it worked.
but when I run Cmake to build Klee, I the execution failed with this error:
......
*--  klee-uclibc support enable*
*Cmake Error at CMakeLists.txt:609 (message): *
*klee-uclibc library not found at
"/home/cedric/Bureau/klee-uclibc/lib/libc.a"*

what can be the error?
cordially.

Le lun. 22 juin 2020 à 17:35, Hooman <homyhost at gmail.com> a écrit :

> 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 listklee-dev at imperial.ac.ukhttps://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>


-- 
Cedric Lontsi
-------------- next part --------------
HTML attachment scrubbed and removed