Hi, did you try the Docker container? (https://klee.github.io/docker/) That is the recommended way of starting with KLEE. If not, follow closely the instructions at https://klee.github.io/build-llvm60/. For instance, -DLLVM_CONFIG_BINARY should be set to the full path to llvm-config-6.0, not the bin/ directory.
Cristian On 21/05/2019 12:03, Yağmur Köksal wrote: > I am using Kde Neon and i am new at linux. I am trying the install Klee > with llvm 6.0. When i run cmake .. code, i get llvm-config cannot be > find error. > > I have tried passing path to config file from /usr/lib/llvm-6.0/bin. > > ~$ DLLVM_CONFIG_BINARY=/usr/lib/llvm-6.0/bin. > > Command worked fine, but when i tried cmake .. again it didn't work. > > _______________________________________________ > 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
