[klee-dev] installing klee error

[Cadar, Cristian]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>