Hello, I remember that I encountered this same error, and found a solution but cannot remember which solution it was.
If i remember correctly this helped me, (but reading it now it could have been solving a different error.) Look at the comments on this website: http://blog.opensecurityresearch.com/2014/07/klee-on-ubuntu-1404-lts-64bit.html It says "To pass all checks of KLEE without problem I needed to make: "sudo ln -s /usr/lib/x86_64-linux-gnu /usr/lib64" A check could not find "ctr1.o" It says that you can fix this by making a symbolic link. That worked for me. Actually, Here is another change I made to fix an error like this. I added export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib/x86_64-linux-gnu to the .bashrc file. That could be the answer too. I wish I had documented this better. Sorry I cannot remember. I know that I installed libssl-dev as well but I dont think that solved it for me. If either work, can u respond with which one did so that I know as well? -Thanks On Mon, Apr 27, 2015 at 11:38 AM, Zhen Zhang <[email protected]> wrote: > Hi! > > I have encountered a problem in going through the "Tutorial on How to Use > KLEE to Test GNU Coreutils”. > > When I am in step 2, trying to `make > CC=/full/path/to/klee/scripts/klee-gcc`, but there came a error report: > > llvm-ld: error: Cannot find library ‘crypt' > > I can’t figure out how to solve this. > > I have already: > > export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu > export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu > > And the llvm is 2.9, llvm-gcc is "*LLVM-GCC 4.2 Front End Binaries for > Linux x86-64* > <http://llvm.org/releases/2.9/llvm-gcc4.2-2.9-x86_64-linux.tar.bz2>.” > Coretuils is the 6.1.1 used in the tutorial. > > That might be a little off-topic in this list, but great thanks to anyone > who would like to help! > > Cheers > > — > Zhen Zhang > USTC, School of Computer Science and Technology > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
