[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