Hi, On 28 March 2017 at 13:50, Shaikha Al-Khuder <cpe.sk...@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. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev