[klee-dev] installing klee error

Yağmur Köksal yagmurkoksal444 at gmail.com
Tue May 21 12:03:24 BST 2019


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.
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list