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