Hi,
On Mon, 22 Jun 2020 17:29:55 +0000 Cedric Lontsi <[email protected]> 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
