[klee-dev] LLVM directory does not exist/ not found

[Dan Liew]

Hi,

On 28 March 2017 at 13:50, Shaikha Al-Khuder <cpe.sk.06 at gmail.com> wrote:
> Hi there,
>
> I keep getting this type of error when trying to “make”  within
> klee_build_dir.
> At first I tried trouble shooting through “sudo nano” each .h/.cpp file that
> contains the non-existing file directory and modifying the line “#include”
> to the correct path of the file, but this has Benn the case for the last two
> days.

That is not the right way to fix the problem you're having.

> I felt that I misplaced the llvm-3.4 directory ( it was inside
> usr/lib/llvm-3.4/..) so I copied it into the “Klee” folder but still gives
> the same error type when trying the command build.
> I tried moving the llvm-3.4 directory to where the .h or .cpp file but no
> use.
>
> Any idea how to get a successful “make’ command?
> This is part of the steps in this page: Klee.github.io/build-llvm34/

Your description of the problem is not very precise so it's hard to
know what the problem is.

Did you actually do the configure step (i.e. run the `cmake` command
with the appropriate arguments)?
If something is wrong with your LLVM installation the configure step
should have failed.

Given the problems you are having I recommend that you just use KLEE's
Docker image because it contain a correctly setup environment a
pre-built version of
KLEE. It also contains the sources and a build directory so you can
modify KLEE inside the container if you need to.
Read http://klee.github.io/docker/ for information on how to do this.

HTH,
Dan.