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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
